RFR: 386: Move PR notification handling to the mailing list bridge

Mon Apr 27 13:23:14 UTC 2020

On Mon, 27 Apr 2020 13:16:26 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:

> Hi all,
> 
> Please review this change that moves the handling of PR integration notices from the notifier to the mailing list
> bridge. The notifier will continue to post the traditional `git:` messages only. This change also makes it easier to
> change the prefix handling, as this is now done in a single place.  It also checks if a PR has been integrated
> "manually" by a user with write access that uses the web UI integration button.
> Best regards,
> Robin

Looks good!

-------------

Marked as reviewed by ehelin (Reviewer).

PR: https://git.openjdk.java.net/skara/pull/605