A GitHub App built with Probot that automatically merges pull requests - View it on GitHub