Merge-queue error message about missing user permissions from contributors.json should indicate how to fix it. Currently it just posts an error like: "@xyz does not have reviewer permissions according to https://raw.githubusercontent.com/WebKit/WebKit/main/metadata/contributors.json.". This isn't very clear for the people who indeed have that permission as per contributors.json, but who haven't added their GitHub username to contributors.json. The error message should clearly indicate how to fix it (which is to add github username to contributors.json).
Pull request: https://github.com/WebKit/WebKit/pull/425
Committed r293573 (250087@main): <https://commits.webkit.org/250087@main> Reviewed commits have been landed. Closing PR #425 and removing active labels.
<rdar://problem/92467180>