Automerge GitHub bot

I would love to have a bot that can do the following:

• Auto merge PRs that I have flagged for automerge and that have passed all status checks.
• When merging PRs, create a squashed commit message that has the same title and description as the PR. This is unlike GitHub's default behavior of inlining actual commit messages from your branch (which are generally not helpful when squash merging).

There are some bots that certainly do automerging, but I don't know about the second requirement. Whoever works on this should do some research on what exists and determine if it would be easier for us to build our own that does the above two things or try to contribute to an existing bot that would solve the two use-cases above.

e.g.

• https://github.com/palantir/bulldozer