處理已經被砍掉的 remote branch
清掉全部已消失的 remote branch
git remote prune origin
git push origin --delete branch (2017/11 updated)
git branch -d -r origin/disappear-branch