'git pull' variants are likely to fail if the repository they are operating on is locked. This is possible on commits.webkit.org, and we should provide more accurate logs in that case.
<rdar://problem/102735925>
Pull request: https://github.com/WebKit/WebKit/pull/6888
Committed 257118@main (13674c4b6e05): <https://commits.webkit.org/257118@main> Reviewed commits have been landed. Closing PR #6888 and removing active labels.