update-nur-search: do a git pull before push.

Reduce potential conflicts on push
This commit is contained in:
Jörg Thalheim 2020-04-15 10:02:51 +01:00
parent ffbce401f6
commit d2a984e176
No known key found for this signature in database
GPG key ID: 003F2096411B5F92

View file

@ -26,6 +26,7 @@ cd nur-search
if [[ ! -z "$(git diff --exit-code)" ]]; then
git add ./data/packages.json
git commit -m "automatic update package.json"
git pull --rebase origin master
git push origin master
nix-shell --run "make && make publish"
else