ci: try to fix update by pulling first

This commit is contained in:
Jörg Thalheim 2020-03-12 17:26:24 +00:00
parent 310bff3b0c
commit 5df82248f0
No known key found for this signature in database
GPG key ID: 003F2096411B5F92

View file

@ -21,7 +21,8 @@ if [[ -z "$(git diff --exit-code)" ]]; then
else
git add --all repos.json*
git commit -m "automatic update"
git push git@github.com:nix-community/NUR HEAD:master
git pull origin master
git push git@github.com:nix-community/NUR master
fi
(cd nur-combined && git push origin master)