diff --git a/ci/deploy.sh b/ci/deploy.sh index 0bf364dca..3f5e41983 100755 --- a/ci/deploy.sh +++ b/ci/deploy.sh @@ -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)