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.
<rdar://problem/116401274>
Pull request: https://github.com/WebKit/WebKit/pull/18551
Committed 268863@main (61c514f84861): <https://commits.webkit.org/268863@main> Reviewed commits have been landed. Closing PR #18551 and removing active labels.