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

Zhao Song zsong at openjdk.org
Thu Mar 30 22:16:15 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.

Zhao Song has updated the pull request incrementally with one additional commit since the last revision:

  fix a problem


  - all: https://git.openjdk.org/skara/pull/1494/files
  - new: https://git.openjdk.org/skara/pull/1494/files/8ef9f6ca..ed203969

 - full: https://webrevs.openjdk.org/?repo=skara&pr=1494&range=04
 - incr: https://webrevs.openjdk.org/?repo=skara&pr=1494&range=03-04

  Stats: 1 line in 1 file changed: 1 ins; 0 del; 0 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