239: Add link to pull requests to automatically generated webrevs

[edvbld]

Hi all,

please review this small patch that adds a link to the PR in webrevs.

Thanks,
Erik

Progress

• Change must not contain extraneous whitespace
• Change must be properly reviewed

Issue

SKARA-239: Add link to pull requests to automatically generated webrevs

Approvers

• Robin Westberg (rwestberg - Reviewer)

[bridgekeeper]

👋 Welcome back ehelin! A progress list of the required criteria for merging this PR into master will be added to the body of your pull request (refresh this page to view it).

[edvbld]

/test

[openjdk]

Could not create test job

[rwestberg]

Looks good!

[openjdk]

@edvbld This change now passes all automated pre-integration checks. When the change also fulfills all project specific requirements, type /integrate in a new comment to proceed. After integration, the commit message will be:

239: Add link to pull requests to automatically generated webrevs

Reviewed-by: rwestberg

• If you would like to add a summary, use the /summary command.
• To credit additional contributors, use the /contributor command.
• To add additional solved issues, use the /solves command.

➡️ To integrate this PR with the above commit message, type /integrate in a new comment.

[mlbridge]

Webrevs

• 00: Full (ab38390)

[edvbld]

/integrate

[openjdk]

@edvbld
Pushed as commit 5efaf03.

[mlbridge]

Mailing list message from Erik Helin on skara-dev:

Changeset: 5efaf03
Author: Erik Helin <ehelin at openjdk.org>
Date: 2020-01-22 17:22:52 +0000
URL: https://git.openjdk.java.net/skara/commit/5efaf036

239: Add link to pull requests to automatically generated webrevs

Reviewed-by: rwestberg

! bots/mlbridge/src/main/java/org/openjdk/skara/bots/mlbridge/WebrevStorage.java