fix push url

This commit is contained in:
Jörg Thalheim 2020-11-29 18:20:57 +01:00
parent 989ac48953
commit ff0cd25b72
No known key found for this signature in database
GPG key ID: 003F2096411B5F92

View file

@ -26,7 +26,7 @@ else
git commit -m "automatic update"
# in case we are getting overtaken by a different job
git pull --rebase origin master
git push $API_TOKEN_GITHUB@github.com:nix-community/NUR HEAD:master
git push "https://$API_TOKEN_GITHUB@github.com/nix-community/NUR" HEAD:master
fi
git -C nur-combined pull --rebase origin master