这并不是一个真正的问题,而是一个建议,如果有人面临相同的需求。
假设有一个具有许多贡献者进行PR的github存储库。有哪些最好的工具可以根据以下条件自动合并PR:
- 在一段时间内没有活动(例如10天),关闭PR而不将其合并,如果作者没有提交权限,则将其合并,如果作者有提交权限
我发现了几个有用的工具,比如github APP:
- bulldozer根据条件合并PR(但没有时间间隔)
- policy-bot根据某些条件将PR标记为已批准/未批准
- mergify根据不同的条件自动合并PR(同样,没有时间间隔)
- 编写webhook?
在某些方面,我认为APP和其他工具之间的协同作用可以解决问题,但也许还有更平滑的方式来解决这个问题。
有人有一些建议吗?