GitHub repository: michelesr/github-merger
Description: A serverless automatic Github pull request merger.