git 操作

git branch -a 远程已经没有的分支在本地还有，需要更新分支列表

git remote update origin --prune

删除远程分支

git push origin :分支名称