Introduction.md is missing an introduction of how to contribute via `git webkit -i` and `git webkit pr`. It also still talks about subversion.
Pull request: https://github.com/WebKit/WebKit/pull/1843
Pull request: https://github.com/WebKit/WebKit/pull/1882
<rdar://problem/96417403>
Committed 252202@main (df2ff2e1fa1d): <https://commits.webkit.org/252202@main> Reviewed commits have been landed. Closing PR #1843 and removing active labels.