Add github account to contributors.json
Pull request: https://github.com/WebKit/WebKit/pull/728
Committed r294404 (250698@main): <https://commits.webkit.org/250698@main> Reviewed commits have been landed. Closing PR #728 and removing active labels.
<rdar://problem/93512343>