From 8254c52de5d436c0674d4084f8f078dcfdc0b989 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Wed, 1 Aug 2018 08:18:14 -0600 Subject: [PATCH] Return to the current branch, rather than master. --- contrib/utilities/count_lines.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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} -- 2.39.5