删除远程分支时的GitHub流程

Question

我正在从上游回购协议处理分支。本地我在分支foo。我将foo推到GitHub的回购站上，并将upstream/master公开并将其合并。

合并之后，我删除了在GitHub上的foo分支和当地也：

git branch -d foo 

但如果我认为我的日志有：

git log --graph --pretty=oneline --abbrev-commit --decorate --all 

然后，我仍然看到origin/foo。

我another answer阅读使用方法：

git remote prune origin 

成功地删除origin/foo。

• 这是删除功能分支时正确的GitHub工作流吗？

过程：

delete branch on GitHub -> delete branch locally -> prune the origin 

Answer 1

是的，这是一个可能的工作流程，并且可以设置（因为Git的1.8.5）：

git config remote.origin.prune true 

这样，一个简单的git fetch足够。

Another approach是在本地删除，然后把该删除：

$ git push origin --delete <branch_name> 
$ git branch -d <branch_name>