I see that github added auto-merge support recently, it may be of interest to some:
https://docs.github.com/en/free-pro-team@latest/github/collaborating-with-issues-and-pull-requests/automatically-merging-a-pull-request
Last updated: Jun 04 2023 at 19:30 UTC