Correct some state transitions
Place the rollup PRs after the normal PRs
Record the Buildbot result URLs in the comment

Fixes #6.
Require mentioning for all commands

Fixes #5.
Change the merge commit message to comply with the original bors

Fixes #4.