RFR: 843: Mails are not forwarded to a closed PR any more [v4]

[Erik Helin]

On Wed, 14 Apr 2021 09:59:28 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:

>> When bridging emails from mailing lists to pull requests, it is necessary to look at lists that can contain cross-posts as a single source. Otherwise, parts of a thread may be missed as it is only found on a certain list, while other parts are on another list. This is commonly the case for the jdk repositories which has its reviews split over many lists.
>> 
>> To facilitate this, a MailingList can now be sourced from multiple actual lists, and is setup in that way when bridging repositories that are configured to use multiple lists for reviews. Sending mails are now done through the MailingListServer instead, as the actual target of a mail has always been decided by the email headers, and not the list send() was invoked on.
>
> Robin Westberg has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Fix build error after merge

Looks good!

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

Marked as reviewed by ehelin (Reviewer).

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