Deleting a remote branch in git