mirror of
https://github.com/tj/git-extras.git
synced 2026-09-12 08:26:17 -04:00
Delete branch on origin even if it wasn't locally fetched yet.
fix #144
This commit is contained in:
parent
2c346d256a
commit
670f531717
|
|
@ -3,4 +3,5 @@
|
|||
branch=$1
|
||||
test -z $branch && echo "branch required." 1>&2 && exit 1
|
||||
git branch -D $branch
|
||||
git branch -d -r origin/$branch && git push origin :$branch
|
||||
git branch -d -r origin/$branch
|
||||
git push origin :$branch
|
||||
|
|
|
|||
Loading…
Reference in a new issue