gitconfig: added a shorthand for deleting a branch on the remote