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 7f2a696..ef22aba 100755
--- a/jjb/opendev/push-upstream-jobs.sh
+++ b/jjb/opendev/push-upstream-jobs.sh
@@ -68,7 +68,7 @@
# 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