From cb0dd84f296dcf3c2ad7c294ca5385177e71a76c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Thalheim?= Date: Sat, 11 Aug 2018 16:34:50 +0200 Subject: [PATCH] disable channel build temporary --- ci/deploy.sh | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/ci/deploy.sh b/ci/deploy.sh index 85a681d3f..a0463f88b 100755 --- a/ci/deploy.sh +++ b/ci/deploy.sh @@ -40,11 +40,11 @@ fi git config --global user.name "Travis CI" git config --global user.email "travis@travis.org" -git clone git@github.com:nix-community/nur-channel +#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) +#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." @@ -55,6 +55,6 @@ 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 +#if [[ $old_channel_rev != $new_channel_rev ]]; then +# (cd nur-channel && git push origin master) +#fi