git - Github 中的自动合并 Pull Request [建议]

Question

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

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

• 在一段时间内（例如 10 天）没有活动，如果作者没有提交 repo 的权限，则关闭 PR 而不合并它，如果作者有提交权限，则合并它

我发现了几个有用的工具，比如 github APP：

• 根据条件（但不是时间间隔）合并 PR 的推土机
• 根据某些条件将 PR 标记为已批准/未批准的策略机器人
• mergify根据不同的条件自动合并 PR（同样，没有时间间隔）
• 写一个网络钩子？

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

有人有一些建议吗？

标签： gitgithubpull-request

Answer 1

在某些方面，我认为 APP 和其他工具之间的协同作用可以解决问题

与其他工具一样，不要忘记GitHub Actions，例如（对于那些关于 PR 的工具）：

• actions/stale：警告然后关闭在指定时间内没有活动的问题和 PR。
• jrylan/github-action-stuck-pr-notifier：自动标记并提及/通知用户有关卡住的拉取请求。

通过查看它们的实现，您可以自己制作将关闭符合您条件的 PR。