OpenDev: Workaround for the OpenDev Gerrit push upstream issue

This is WO for the: "error: remote unpack failed: error Missing tree"
that we are getting when pushing code to OpenDev Gerrit.

Change-Id: I5c9d5ef890826f5c595493c748f84fcda37b64bd

diff --git a/jjb/opendev/push-upstream-jobs.sh b/jjb/opendev/push-upstream-jobs.sh
index 7f2a696d24cea49d4ec1d9fd6de7e175e5817e4d..ef22aba2faab37c93445a314a6b5be9ce85ed73c 100755 (executable)
--- a/jjb/opendev/push-upstream-jobs.sh
+++ b/jjb/opendev/push-upstream-jobs.sh
@@ -68,7 +68,7 @@ echo >&2 "Pushing to OpenDev"
 # do not fail if git push fails as in case of no new changes we want to succeed. See below.
 set +o pipefail
 
-git push "$opendev_remote_url" "$refspec" 2>&1 | tee push_result.txt
+git push --no-thin "$opendev_remote_url" "$refspec" 2>&1 | tee push_result.txt
 push_result=${PIPESTATUS[0]}
 
 # make the job a success if the above git push fails due to no new changes are needed