git技巧：删除在本地有但在远程库中已经不存在的分支