TakeV
/
spacemacs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

[TravisCI] Make sure that we deploy only from HEAD

This commit is contained in:
JAremko 2018-11-06 20:41:31 +02:00 committed by Eugene Yaremenko
parent f70ebe6f9e
commit 4a319b9f70
2 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
.travisci/pub_html.sh
View File

@ -30,6 +30,11 @@ else
exit 0
fi
if [ `git rev-list HEAD...origin/$TRAVIS_BRANCH --count` != 0 ]; then
echo "We are outdated. Won't publish."
exit 0
fi
git config --global user.name "${BOT_NAME}"
git config --global user.email "${BOT_EMAIL}"
git config --global push.default simple

5
.travisci/pub_org.sh
View File

@ -28,6 +28,11 @@ else
exit 0
fi
if [ `git rev-list HEAD...origin/$TRAVIS_BRANCH --count` != 0 ]; then
echo "We are outdated. Won't publish."
exit 0
fi
git config --global user.name "${BOT_NAME}"
git config --global user.email "${BOT_EMAIL}"
git config --global push.default simple