Skip to content

Instantly share code, notes, and snippets.

@mdkrog
Created August 7, 2014 13:29
Show Gist options
  • Save mdkrog/fa05e06dddc18e91c093 to your computer and use it in GitHub Desktop.
Save mdkrog/fa05e06dddc18e91c093 to your computer and use it in GitHub Desktop.
Remove remote branch
# soft delete
git branch -d -r remote_name/branch_name
# hard delete
git push origin :branchname
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment