From 780c00b4adb6b65008810ea0672e65aeb9823819 Mon Sep 17 00:00:00 2001
From: Simon Oehrl <oehrl@vr.rwth-aachen.de>
Date: Mon, 4 Nov 2019 14:43:50 +0100
Subject: [PATCH] Ensure develop branch is checked out

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

diff --git a/setup.sh b/setup.sh
index 2fc3c6fd..10157c33 100644
--- a/setup.sh
+++ b/setup.sh
@@ -51,6 +51,7 @@ then
     git push -u origin develop
     git checkout master
     git push -u origin master
+    git checkout develop
 fi
 
 echo "Done!"
\ No newline at end of file
-- 
GitLab