240572 2022-05-18 05:31:55 -0700 [Merge-Queue] Merge queue should add link to pull request 2022-06-29 12:55:05 -0700 1 1 1 Unclassified WebKit Tools / Tests WebKit Nightly Build Unspecified Unspecified RESOLVED WONTFIX InRadar P2 Normal --- 239082 1 mcatanzaro webkit-unassigned jbedard mcatanzaro webkit-bug-importer oldest_to_newest 1869965 0 mcatanzaro 2022-05-18 05:31:55 -0700 When landing a commit via a GitHub pull request, merge-queue should append a link to the pull request to the commit so that we can easily reference the pull request from the commit. This will become important once we no longer require bugs on WebKit Bugzilla. 1871706 1 webkit-bug-importer 2022-05-25 05:32:14 -0700 <rdar://problem/93895768> 1879090 2 jbedard 2022-06-29 12:46:50 -0700 Is this needed because GitHub automatically does this for us? In a post-bugzilla world, our bugzilla links would become GitHub issue links. 1879097 3 mcatanzaro 2022-06-29 12:55:05 -0700 You're right. Not needed.