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

[Robin Westberg]

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

This pull request has now been integrated.

Changeset: 08888a5e
Author:    Robin Westberg <rwestberg at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/08888a5e
Stats:     469 lines in 9 files changed: 299 ins; 139 del; 31 mod

386: Move PR notification handling to the mailing list bridge
388: Notification bot does not recognize a "Merged" PR

Reviewed-by: ehelin

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

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