From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Wed, 1 Aug 2018 14:18:14 +0000 (-0600)
Subject: Return to the current branch, rather than master.
X-Git-Tag: v9.1.0-rc1~861^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8254c52de5d436c0674d4084f8f078dcfdc0b989;p=dealii.git

Return to the current branch, rather than master.
---

diff --git a/contrib/utilities/count_lines.sh b/contrib/utilities/count_lines.sh
index 1ef661811d..61640aaa73 100755
--- a/contrib/utilities/count_lines.sh
+++ b/contrib/utilities/count_lines.sh
@@ -61,6 +61,7 @@
 #
 #
 
+current_branch=$(git rev-parse --abbrev-ref HEAD)
 git checkout -q master
 
 commits=$(git log | \
@@ -85,5 +86,5 @@ for commit in $commits ; do
   echo "$date" "$lines_source" "$lines_tests"
 done
 
-git checkout -q master
+git checkout -q ${current_branch}