結果 : how to delete a git branch both locally and remotely