checkupdates: retry push until CI timeout

This commit is contained in:
Jochen Sprickerhof 2022-08-05 09:22:14 +02:00
parent 13f3de30b6
commit c9feb87fa2
No known key found for this signature in database
GPG key ID: 5BFFDCC258E69433

View file

@ -266,8 +266,8 @@ checkupdates_runner:
- fdroid checkupdates --allow-dirty --auto --commit "${CHECKUPDATES_APPIDS[@]}" 2>&1 | tee /tmp/out || true
- git pull --rebase origin master
# when two jobs try to push at the same time they occasionally fail, so try one more time if it fails
- git push origin HEAD:master || (git pull --rebase origin master && git push origin HEAD:master)
# when two jobs try to push at the same time they occasionally fail, so try it again
- while ! git push origin HEAD:master; do git pull --rebase origin master; done
- echo "============== Summary ====================="
- 'grep -v "INFO: Processing" /tmp/out || true'