Delete a remote branch in Git

Notes:

Basically, push “nothing” to the branch.