git - Github中自动 merge Pull Request [建议]

Question

不是一个真正的问题，而是一个建议，如果有人面临同样的需求。

假设有一个 github 存储库，其中有许多贡献者进行 PR。在以下条件下自动 merge PR 的最佳工具是什么:

在一段时间内(例如 10 天)没有事件，如果作者没有提交对 repo 的权限，则关闭 PR 而不 merge 它，如果作者有提交权限，则 merge 它

我找到了几个有用的工具，比如 github APP:

bulldozer基于条件(但不是时间间隔) merge PR

policy-bot根据某些条件将 PR 标记为已批准/未批准

mergify根据不同的条件自动 merge PR(同样，没有时间间隔)

写一个网络钩子(Hook)？

在某些方面，我认为 APP 和其他工具之间的协同作用可以解决问题，但也许有更顺畅的方法来做到这一点。

有人有一些建议吗？

Answer 1

In some ways I think that a synergy between APPs and other tools can solve the problem

作为其他工具，不要忘记 GitHub Actions ，像(对于 those regarding PR ):

actions/stale :警告并关闭在指定时间内没有事件的问题和 PR。

jrylan/github-action-stuck-pr-notifier :自动标记和提及/通知用户有关卡住的 pull 请求。

通过查看它们的实现，您可以创建自己的实现，这将关闭符合您标准的 PR。