RESOLVED FIXED262540
[git-webkit] Downgrade mode when publishing tags 
https://bugs.webkit.org/show_bug.cgi?id=262540
Summary [git-webkit] Downgrade mode when publishing tags
Jonathan Bedard
Reported 2023-10-03 07:35:12 PDT
When we're publishing tags, we should never be pushing novel commits (since all tags should be on a branch). We can greatly speed up tag publication by downgrading our pre-push check mode when pushing tags, so long as we've fetched the branches we just pushed first.
Attachments
Add attachment proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1 2023-10-03 07:35:53 PDT
<rdar://problem/116401274>
Jonathan Bedard
Comment 2 2023-10-03 07:40:23 PDT
Pull request: https://github.com/WebKit/WebKit/pull/18551
EWS
Comment 3 2023-10-04 12:25:41 PDT
Committed 268863@main (61c514f84861): <https://commits.webkit.org/268863@main> Reviewed commits have been landed. Closing PR #18551 and removing active labels.
Note You need to log in before you can comment on or make changes to this bug.