check-updates.sh: do git pull --rebase before pushing

Ensure that no new changes has been made, so push will not fail.
This commit is contained in:
Leonid Pliushch 2020-12-18 21:40:24 +02:00
parent 0330ba377b
commit 4107910fe5
No known key found for this signature in database
GPG Key ID: 45F2964132545795

View File

@ -59,6 +59,7 @@ if [ -f "${BASEDIR}/github-projects.txt" ]; then
fi
if [ "$GIT_PUSH_PACKAGES" = "true" ]; then
git pull --rebase
git push
fi
else