RFR: 1856: Include a link to the webrev comment in the pull request's description [v3]

Erik Joelsson erikj at openjdk.org
Thu Mar 30 21:28:33 UTC 2023

On Thu, 30 Mar 2023 21:17:45 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.
> Zhao Song has updated the pull request incrementally with one additional commit since the last revision:
>   fix a problem

Marked as reviewed by erikj (Lead).


PR Review: https://git.openjdk.org/skara/pull/1494#pullrequestreview-1365954051

More information about the skara-dev mailing list