# 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