Skip to content

Instantly share code, notes, and snippets.

@pietrom
Created January 27, 2017 10:39
Show Gist options
  • Select an option

  • Save pietrom/951219fc9d534527e776defd67070aa4 to your computer and use it in GitHub Desktop.

Select an option

Save pietrom/951219fc9d534527e776defd67070aa4 to your computer and use it in GitHub Desktop.
Delete remote git branch
git push --delete origin branch-name
# or
git push origin :branch-name
# When there is a tag with the same name of the branch:
git push origin :refs/heads/branch-name
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment