From 81fda0e80a26f78c0b593d035f3fb0eff1812aae Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Thalheim?= Date: Mon, 13 Aug 2018 09:09:25 +0200 Subject: [PATCH] deploy to nur-channel unconditionally --- ci/deploy.sh | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) 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)