From 6abe4a34054a0120dc9b2dff957b9a629cfaf232 Mon Sep 17 00:00:00 2001
From: Stefan Heimersheim <stefan.heimersheim@rwth-aachen.de>
Date: Wed, 27 Mar 2019 23:10:13 +0100
Subject: [PATCH] fixed branch in update_stick
---
scripts/update_stick.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/scripts/update_stick.sh b/scripts/update_stick.sh
index f47c662..4aec5c3 100755
--- a/scripts/update_stick.sh
+++ b/scripts/update_stick.sh
@@ -1,5 +1,5 @@
#!/bin/bash
-BRANCH="ss15"
+BRANCH="tardis"
if [ ! -d ".git" ]; then
>&2 echo "Fatal error: expected .git directory in the working directory."
--
GitLab