Github 使用';关闭来自另一个PR的拉取请求;关闭';关键词 问题:

Github 使用';关闭来自另一个PR的拉取请求;关闭';关键词 问题:,github,pull-request,Github,Pull Request,Github支持使用关闭PR中的问题。是否可以从拉取请求关闭拉取请求 背景: 我在br_1上以交互方式将我的一个大型PR重设为br_2上一个更易于查看、合并且语义更有用的提交组。我从br_2打开了第二个PR,它应该取代br_1 原始PR应保持打开状态,以防我的审阅者需要深入了解原始开发顺序、评论、讨论等。一旦合并br_2,则br_1上的PR不再有用,也应关闭 Github的UI似乎表明br_2应该在合并时关闭br_1(参见下图1),但是: 我在文档中找不到这种行为 我无法通过以下测试产生此行为

Github支持使用关闭PR中的问题。是否可以从拉取请求关闭拉取请求

背景: 我在
br_1
上以交互方式将我的一个大型PR重设为
br_2
上一个更易于查看、合并且语义更有用的提交组。我从
br_2
打开了第二个PR,它应该取代
br_1

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

Github的UI似乎表明
br_2
应该在合并时关闭
br_1
(参见下图1),但是:

  • 我在文档中找不到这种行为
  • 我无法通过以下测试产生此行为:

在这里,用户界面指示PR#18将关闭PR#17。

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


PR关闭PR的UI错误吗?我是不是遗漏了什么?

注意:我已使用“close”关键字成功地从PR中关闭了PR。我想知道上面的例子失败是否是因为它是一个noop?需要进一步研究。注意:我已使用“close”关键字成功地从PR关闭了PR。我想知道上面的例子失败是否是因为它是一个noop?需要进一步研究。