diff --git a/scripts/update_stick.sh b/scripts/update_stick.sh index f47c662c7cb260b72ac5f212b45ed05b16ca9c3a..4aec5c32feb8ac5ece4742600cedc799a5e9cdaf 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."