git-rmbranch A Git command to delete a branch locally and remotely. This command first appeared in the StackOverflow answer.