Merge pull request #196 from Mic92/fix-ci

ci: try to fix update by pulling first
This commit is contained in:
Jörg Thalheim 2020-03-12 17:28:43 +00:00 committed by GitHub
commit e6714808f1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

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)