From: Wolfgang Bangerth 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=refs%2Fpull%2F6959%2Fhead;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}