server-info.c: and two functions are not used anymore.

diff --git a/git-branch.sh b/git-branch.sh
index b48c32988fc16fe9d221cca18c1030bbaaa5838b..5306b2719ffbedfa077f4d5489ab46448ef5c186 100755 (executable)
--- a/git-branch.sh
+++ b/git-branch.sh
@@ -2,6 +2,11 @@
 
 GIT_DIR=`git-rev-parse --git-dir` || exit $?
 
+die () {
+    echo >&2 "$*"
+    exit 1
+}
+
 usage () {
     echo >&2 "usage: $(basename $0)"' [-d <branch>] | [[-f] <branch> [start-point]]