Remove branch in remote git repo

If you have a remote git repo, and you want to delete a branch there, you can do: