My git log shows:
- 557b5b6 (HEAD, origin/tmp_branch, origin/master, origin/HEAD, tmp_branch, master) Fri Jan 27 22:51:49 2012 +0800 control RUN_WEEKLY
tmp_branch is a redundant head ref that I would like to remove from my working directory and from the repository.
What git commands should I invoke?
To delete the local branch:
To delete the remote branch
(help.github.com/remotes)