From 28395b0f973790065ecb9d22ae2226f426cc5f9c Mon Sep 17 00:00:00 2001
From: Christian Starkjohann <cs+github@obdev.at>
Date: Mon, 9 Jan 2012 00:38:10 +0100
Subject: Remove refs/heads/ from current branch name

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

diff --git a/mkdist.sh b/mkdist.sh
index 8148442..c45e9da 100755
--- a/mkdist.sh
+++ b/mkdist.sh
@@ -28,6 +28,7 @@ if [ -n "$changes" ]; then
 fi
 
 branch="$(git symbolic-ref HEAD)"
+branch="${branch##refs/heads/}"
 if [ "$branch" != master ]; then
     echo "Warning: On branch $branch, not master! Type enter to continue anyway."
     read dummy
-- 
cgit v1.2.3