github - 使用“关闭”关键字关闭来自另一个 PR 的拉取请求

Question

问题

Github 支持使用“关闭”和其他关键字从 PR关闭问题。是否可以从拉取请求中关闭拉取请求？

背景：

我以交互方式将我的一个大型 PR 重新构建br_1为一个更易于审查、可合并且语义上有用的提交组br_2。我打开了第二个 PRbr_2应该取代它br_1。

原始 PR 应保持打开状态，以防我的审阅者需要深入了解原始开发顺序、评论、讨论等。br_2然而，一旦合并，PR onbr_1不再有用，也应该关闭。

Github 的 UI 似乎表明br_2应该br_1在合并时关闭（见下图 1），但是：

• 我一直无法在文档中找到这种行为
• 我无法通过以下测试产生这种行为：

这里，UI 指示 PR#18 将关闭 PR#17。

在这里，PR#18 已经合并，但是 PR#17 没有关闭。

公关关闭公关的用户界面是否错误？我只是在这里遗漏了什么吗？

标签： githubpull-request