Integrated: 1856: Include a link to the webrev comment in the pull request's description

[Zhao Song]

On Wed, 29 Mar 2023 21:58:06 GMT, Zhao Song <zsong at openjdk.org> wrote:

> Some users complained about that GitHub often hide the webrev comment and it's hard for them to find webrev comment among hundreds of comments. 
> 
> In this patch, the pr bot would add the link to webrev comment to the pr body.
> 
> Originally, the comments from mlbridge bot would not trigger the update of the pr, now, when mlbridge bot **first** post the webrev comment, it will trigger the update of the pr.

This pull request has now been integrated.

Changeset: 6e64045d
Author:    Zhao Song <zsong at openjdk.org>
URL:       https://git.openjdk.org/skara/commit/6e64045d301d125401d309c3e3d959415ac66d18
Stats:     103 lines in 10 files changed: 96 ins; 1 del; 6 mod

1856: Include a link to the webrev comment in the pull request's description

Reviewed-by: erikj

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

PR: https://git.openjdk.org/skara/pull/1494