From 6b031732a6a9519ba54f58eaec93d17a2165e641 Mon Sep 17 00:00:00 2001
From: LongHairedHacker <sebastian@sebastians-site.de>
Date: Fri, 20 Dec 2019 14:11:59 +0100
Subject: [PATCH] deploy.sh should make sure to deploy master

---
 deploy.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/deploy.sh b/deploy.sh
index 4c8349b..f29a4d7 100644
--- 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