我正在尝试在Github上建立一个项目，该项目将接受来自Github用户的拉取请求形式的贡献。我预计，如果在成功合并后为删除请求创建的fork和/或分支（不确定此时哪一个）将被删除，那将是最好的。
我在SO和其他讨论中找到了一些项目，但我遇到的唯一具体说明是这篇博文：https://blog.github.com/2012-12-03-tidying-up-after-pull-requests/但是，在阅读之后，我仍然不明白。目前尚不清楚谁是“你”提到的;是提交PR还是合并的人？此外，还不清楚“删除此分支”按钮的位置。我已经把页面看作是创建PR的人和合并它的人（我在我正在研究的例子中扮演两个角色）但我找不到它。
有人可以解释“删除此分支”按钮应该如何工作？
具体说明示例：原始项目是：https://github.com/maxima-project-on-github/maxima-packages我创建了一个组织，maxima-project-on-github，并在组织下创建了maxima-packages。
PR是：https://github.com/maxima-project-on-github/maxima-packages/pull/1
为PR创建的分支是：https://github.com/robert-dodier/maxima-packages
我创建了PR，添加了一些东西，然后回到原始项目并合并PR。此时我想清理一下。提前感谢您提供任何信息。
编辑：一些注释，以澄清我在做什么。
我通过单击maxima-project-on-github / maxima-packages上的“Fork”按钮创建了robert-dodier / maxima-packages。我将一些提交推送到robert-dodier / maxima-packages，然后点击robert-dodier / maxima-packages上的“New pull request”按钮创建了pull请求。创建PR之后，我去了maxima-project-on-github / maxima-packages并接受了PR。
编辑2：经过一些实验，我看到如果PR是从fork中的分支（除了master）创建的，则会出现删除分支的选项。合并PR后我看到一个删除分支的按钮，我还看到一个垃圾桶图标标记分支列表中的分支。我同意以这种方式使用分支是一个很好的工作流程，虽然它确实添加了一个可选的附加步骤（因此可能会或可能不会发生）。无论如何，我想我明白现在发生了什么。
Closing a PR (documented here)只在以下时间：
不再需要在分支机构中提出的更改，或者如果在另一个分支机构中提出了另一种解决方案
在您的情况下，更改已合并，因此您可以执行的操作是删除回购中的分支：请参阅“Deleting a branch”。
注意OP在评论中添加：
从GitHub博客文章中不清楚！如果PR是从
master创建的，则Web UI不会显示任何删除任何内容的按钮或链接，并且看起来没有任何内容可以删除，除非删除整个fork。