Bug 262540

Summary:	[git-webkit] Downgrade mode when publishing tags
Product:	WebKit	Reporter:	Jonathan Bedard <jbedard>
Component:	Tools / Tests	Assignee:	Jonathan Bedard <jbedard>
Status:	RESOLVED FIXED
Severity:	Normal	CC:	webkit-bug-importer
Priority:	P2	Keywords:	InRadar
Version:	WebKit Nightly Build
Hardware:	Unspecified
OS:	Unspecified

Description Jonathan Bedard 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.

Comment 1 Radar WebKit Bug Importer 2023-10-03 07:35:53 PDT

<rdar://problem/116401274>

Comment 2 Jonathan Bedard 2023-10-03 07:40:23 PDT

Pull request: https://github.com/WebKit/WebKit/pull/18551

Comment 3 EWS 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.