Drop automerge bot

It turns out Github supports this feature as beta now, and it works just fine, so we don't need this bot anymore.

Author: yajo