Push a local branch deletion to remote.
git push origin :$branch
This will delete the remote branch bugfix.
If another developer is also tracking bugfix, their local branch will remain untouched. If they push again, the branch will be recreated.
Written by Grace Cooper
Related protips
Have a fresh tip? Share with Coderwall community!
Post
Post a tip
Best
#Git
Authors
Related Tags
#git
Sponsored by #native_company# — Learn More
#native_title#
#native_desc#