Github Desktop - 分支不删除

Question

我在合并我的更改后删除了 Github 上的一个分支，但是该分支仍然出现在 Github Desktop 中。

以下是我采取的步骤:

1. 对我的本地 .sql 文件进行了一些更改。
2. 使用 Github Desktop 提交更改。
3. 将更改推送到 Origin。
4. 在 Github 中合并更改后，我删除了分支。

该分支不再位于 Github 中，但仍可从 Github Desktop 的分支下拉菜单中找到。

我该如何解决这个问题？

Answer 1

自 July 2019 , GitHub Desktop 应该提出一个修剪选项，允许在 GitHub.com 上合并和删除未使用的分支后从本地存储库中删除它们，以帮助保持分支列表的相关性和整洁性。

这解决了 issue 750与 PR 6544

This PR adds a feature that will auto-prune branches based on these conditions:

• The branch is deleted on GitHub.com and
• merged locally into the default branch in Desktop and
• has no commits ahead of the default branch

如果本地分支没有被自动修剪...你need to go to the command-line :

git fetch
git remote prune origin