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

Zhao Song zsong at openjdk.org
Wed Mar 29 22:03:40 UTC 2023

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.


Commit messages:
 - fix import
 - SKARA-1856

Changes: https://git.openjdk.org/skara/pull/1494/files
 Webrev: https://webrevs.openjdk.org/?repo=skara&pr=1494&range=00
  Issue: https://bugs.openjdk.org/browse/SKARA-1856
  Stats: 73 lines in 6 files changed: 70 ins; 1 del; 2 mod
  Patch: https://git.openjdk.org/skara/pull/1494.diff
  Fetch: git fetch https://git.openjdk.org/skara.git pull/1494/head:pull/1494

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

More information about the skara-dev mailing list