Github now supports auto-merge as a repository setting. Would be great to support it! https://docs.github.com/en/free-pro-team@latest/github/collaborating-with-issues-and-pull-requests/automatically-merging-a-pull-request