[Webkit-unassigned] [Bug 270489] New: Add PR reference when closing a bug on webkit.org
bugzilla-daemon at webkit.org
bugzilla-daemon at webkit.org
Mon Mar 4 16:01:20 PST 2024
https://bugs.webkit.org/show_bug.cgi?id=270489
Bug ID: 270489
Summary: Add PR reference when closing a bug on webkit.org
Product: WebKit
Version: Safari 17
Hardware: Unspecified
OS: Unspecified
Status: NEW
Severity: Normal
Priority: P2
Component: Tools / Tests
Assignee: webkit-unassigned at lists.webkit.org
Reporter: karlcow at apple.com
*Steps To Reproduce:*
I do not know what are the steps to reproduce but…
If `git-webkit pr` fails to comment on the bug or the contributor files the PR without git-webkit, there is no reference to the PR in GitHub.
This is an example:
https://bugs.webkit.org/show_bug.cgi?id=268825
There is the final EWS message
```
EWS 2024-02-16 02:40:01 PST
Committed 274814 at main (9ce832dcb0d3): <https://commits.webkit.org/274814@main>
Reviewed commits have been landed. Closing PR #23960 and removing active labels.
```
But then no link to a PR
https://github.com/WebKit/WebKit/pull/23960
The link to the PR is given by the UI in GitHub inside the commit link, but I didn’t know it existed before someone pointed it to me.
*Why this is important?*
PR contains important information, rationales, discussions, etc about the bug through the comments on the PR. These are not reflected anywhere but on GitHub only (it’s already a weak scenario).
Having the link to the PR is very practical to directly find the history of review and discussions.
*Suggestion*:
Extend the final EWS message to also have a link to the PR in addition to the commit link.
The text is already here `Closing PR #23960`. This could be a link.
--
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20240305/6be51165/attachment.htm>
More information about the webkit-unassigned
mailing list