As I continue to bring up GitHub infrastructure, it’s coming time to start representing various permissions of the WebKit project in GitHub. In order to represent these permissions, we need a record of active contributor’s GitHub usernames. We’re doing this in contributors.json, which has now been moved to metadata/contributors.json.

Adding GitHub users is supported as of 242713@main (r283833).

The expectation is that active contributors are adding their usernames to contributors.json over the next 4-6 weeks. A GitHub username in contributors.json will be necessary to retain committer and reviewer privileges as we transition to GitHub.

Jonathan