disable channel build temporary
This commit is contained in:
parent
81fca0e2cf
commit
cb0dd84f29
1 changed files with 7 additions and 7 deletions
14
ci/deploy.sh
14
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
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue