deploy.sh should make sure to deploy master

2019-12-20 14:11:59 +01:00 · 2019-12-20 14:11:59 +01:00 · 6b031732a6
parent 0088db46bf
commit 6b031732a6
1 changed files with 1 additions and 0 deletions
--- a/deploy.sh
+++ b/deploy.sh
@ -11,6 +11,7 @@ DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
 cd $DIR
 echo "Repo directory is $DIR"

+git checkout master
 git pull
 git rev-parse HEAD > .tmp_id
 if [ -d output ] && [ -f .head_id ] && diff -q  .head_id .tmp_id; then