Any git-webkit command which pushes should check that the pre-push hook in the current checkout is up to date because `git push` is a dangerous command if our pre-push hook is not installed.
<rdar://problem/106760739>
Pull request: https://github.com/WebKit/WebKit/pull/11563
Committed 261970@main (57dd97a2399f): <https://commits.webkit.org/261970@main> Reviewed commits have been landed. Closing PR #11563 and removing active labels.
Committed 259548.474@safari-7615-branch (339928b5be34): <https://commits.webkit.org/259548.474@safari-7615-branch> Reviewed commits have been landed. Closing PR #487 and removing active labels.
Re-opening for pull request https://github.com/WebKit/WebKit/pull/11877
Committed 262027@main (8a9cc8641cbc): <https://commits.webkit.org/262027@main> Reviewed commits have been landed. Closing PR #11877 and removing active labels.
Committed 259548.479@safari-7615-branch (923516a2f0ba): <https://commits.webkit.org/259548.479@safari-7615-branch> Reviewed commits have been landed. Closing PR #491 and removing active labels.