Do you want to delete a branch on github? Just do
$ git push origin :branch-name
where you need to substitute origin name of the remote repository and branch-name with the name of the branch you want to delete in github.
Edit: Note the colon before the branch name, this is important.
Edit 2: To be more detailed:
$ cd /path/to/local/git/checkout $ git remote -v show
Select the remote name from the first column that matches the github url where you want to remove the branch. I call it origin here. branch-name - the name of the branch you want to delete. Delete it using:
$ git push origin :branch-name
Edit 3: If you want to know about git, I can recommend Scott Chacon's free book. The relevant section is here .
Michael wild
source share