deploy to nur-channel unconditionally

This commit is contained in:
Jörg Thalheim 2018-08-13 09:09:25 +02:00
parent 3508b2048e
commit 81fda0e80a

View file

@ -44,9 +44,7 @@ git config --global commit.gpgsign true
git clone git@github.com:nix-community/nur-channel
old_channel_rev=$(git rev-parse HEAD)
./bin/nur build-channel nur-channel
new_channel_rev=$(git rev-parse HEAD)
if [[ -z "$(git diff --exit-code)" ]]; then
echo "No changes to the output on this push; exiting."
@ -57,6 +55,4 @@ else
git push git@github.com:nix-community/NUR HEAD:master
fi
if [[ $old_channel_rev != $new_channel_rev ]]; then
(cd nur-channel && git push origin master)
fi
(cd nur-channel && git push origin master)