Skip to content

Instantly share code, notes, and snippets.

@EvanK
Created April 7, 2011 21:56
Show Gist options
  • Save EvanK/908834 to your computer and use it in GitHub Desktop.
Save EvanK/908834 to your computer and use it in GitHub Desktop.
Remove a deleted branch from a remote
# remove the branch "branch-name" from the remote "origin"
git push origin :branch-name
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment