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.