Skip to content

Instantly share code, notes, and snippets.

@scodx
Created August 15, 2018 17:24
Show Gist options
  • Save scodx/6f9907f1842121bc7e097d84939ff203 to your computer and use it in GitHub Desktop.
Save scodx/6f9907f1842121bc7e097d84939ff203 to your computer and use it in GitHub Desktop.

Executive Summary

$ git push --delete <remote_name> <branch_name>
$ git branch -d <branch_name>

Note that in most cases the remote name is origin.

Delete Local Branch

To delete the local branch use one of the following:

$ git branch -d branch_name
$ git branch -D branch_name

Note: The -d option is an alias for --delete, which only deletes the branch if it has already been fully merged in its upstream branch. You could also use -D, which is an alias for --delete --force, which deletes the branch "irrespective of its merged status." [Source: man git-branch]

Delete Remote Branch [Updated on 8-Sep-2017]

As of Git v1.7.0, you can delete a remote branch using

$ git push <remote_name> --delete <branch_name>

which might be easier to remember than

$ git push <remote_name> :<branch_name>

which was added in Git v1.5.0 "to delete a remote branch or a tag."

Starting on Git v2.8.0 you can also use git push with the -d option as an alias for --delete.

Therefore, the version of Git you have installed will dictate whether you need to use the easier or harder syntax.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment