From a3cbb7df9a166141f98d5e66a6e70b9e7d426382 Mon Sep 17 00:00:00 2001
From: Gert Van Gool <gertvangool@gmail.com>
Date: Fri, 10 Sep 2010 09:09:46 +0200
Subject: [PATCH] Also delete the remote branch

---
 bin/git-delete-branch | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/git-delete-branch b/bin/git-delete-branch
index 71eff99..45ea84a 100755
--- a/bin/git-delete-branch
+++ b/bin/git-delete-branch
@@ -1,4 +1,4 @@
 #!/bin/sh
 
 test -z $1 && echo "branch required." && exit 1
-git branch -d $@ && git push origin :$1
+git branch -d $1 && git branch -d -r origin/$1 && git push origin :$1