RFR: Add an issue link to RFR mails if the PR title contains one

[Kevin Rushforth]

On Fri, 20 Sep 2019 07:45:20 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:

> Hi all,
> 
> Please review this change that adds an issue link to RFR emails if the PR title contains one. It also allows projects to specify their issue key in case it is different from the project name.
> 
> Best regards,
> Robin
> 
> ----------------
> 
> Commits:
>  - af1d7158: Add an issue link to RFR mails if the PR title contains one
> 
>   Stats: 84 lines in 11 files changed: 57 ins; 0 del; 27 mod
> Changes: https://git.openjdk.java.net/skara/pull/149/files
>  Webrev: https://webrevs.openjdk.java.net/skara/149/webrev.00
>   Patch: https://git.openjdk.java.net/skara/pull/149.diff
>   Fetch: git fetch https://git.openjdk.java.net/skara pull/149/head:pull/149

This looks great. As a follow-on to this, what about having the bot add the JBS URL as a comment in the PR (maybe as part of the status block along with Progress and Approvers)?

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