删除远程分支时的GitHub流

Question

我正在从上游仓库开发一个分支。我当地在分行foo。我将foo推送到我在GitHub上的回购并将PR打开到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>