Support for automerging pull requests.

In case a pull request is fully signed, tests are ok, does not require
ORP approval and no coordinator said "hold" in one of the comments, pull
requests are now automatically merged in the release.