为什么 Spring 处理 PR 时会将合格的 PR close 再评论一句 merged？

[dumbbell5kg]

比如这个 https://github.com/spring-projects/spring-framework/pull/30696 ，closed 的原因是什么？

[dumbbell5kg]

https://github.com/spring-projects/spring-data-mongodb/pull/4427
还有这种，被 closed 后，虽然被 merge 了，但是 contributors 里看不到 PR 作者的名字，还是说 Spring 的维护者们不太希望不熟的人来提 PR ？

[gongxuanzhang]

我也有一个 pr 被合并之后是这样，但是其实你从源码上看确实有你的名字，可能是他们有额外的 merge 流程

[gongxuanzhang]

@dumbbell5kg https://github.com/spring-projects/spring-data-mongodb/pull/4196
这是我当时的 pr 也是合并的

[dumbbell5kg]

@gongxuanzhang 这种 pr 被关闭的动作，有些打消积极性诶

[FrankHB]

似乎是 Web 界面 merge ，如果要改你的 PR 把分支拉下来再自己改动好 push 上去其实也和你这个 PR 没关系（就算 commit message 里提到了 issue 效果也是 closed ），所以不如直接先 closed 了。
另外有时候改动数量太多的时候根本没法 Web 上点 merge ，强行要 merged 得先先 (force) push 一个让改动数量足够小的 base 版本才能在 Web 界面上 merge ，然后再 (force) push 想要到的最终状态。
感觉 GitHub 这里多少有点弱智了……

[gadfly3173]

看起来是他们把你的代码拉到了自己的分支上 rebase 成一条了之后 push 的

[ChaosesIb]

Meta 的项目似乎都是这样做的，比如 https://github.com/facebook/rocksdb/pull/11439 、https://github.com/facebook/hhvm/pull/9369 ，不过用的是 bot

[Abirdcfly]

https://github.com/spring-projects/spring-data-build/blob/main/CONTRIBUTING.adoc 看起来这里有一些信息，不过说的不很清楚。

还有一种情况是项目使用 Gerrit 管理，github 实际算一个 mirror ，比如 golang https://github.com/golang/go/pull/62233

[leonshaw]

因为主流程不在 GitHub

[Pastsong]

因为很多大的开源项目源码并不在 GitHub ，GitHub repo 只是一个镜像，合并 PR 用额外的流程是把你代码 commit 到上游代码库里，GitHub repo 再把 change 同步过来。

只要在 main 分支有你邮箱的 commit ，contributors 就有你