Add script for copying remote branch to local
[ag.git] / ag-branch-rm
CommitLineData
14d18581
JA
1#!/bin/bash
2
3if [ ! -d .git ]; then
4 echo Does not appear to be a git tree
5 exit 1
6fi
7
8if [ ! -f .git/refs/heads/$1 ]; then
9 echo $1 does not appear to be a valid branch
10 exit 1
11fi
12
13HEAD_SHA=$(cat .git/HEAD)
14BRANCH_SHA=$(cat .git/refs/heads/$1)
15
16if [ $HEAD_SHA == $BRANCH_SHA ]; then
17 echo Cannot remove current branch
18 exit 1
19fi
20
21rm -rf .git/refs/heads/$1
22git prune
23
24exit 0