Skip to content

Refresh list of contacts in w3c.json file#6254

Open
tidoust wants to merge 1 commit into
gpuweb:mainfrom
tidoust:refresh-w3cjson
Open

Refresh list of contacts in w3c.json file#6254
tidoust wants to merge 1 commit into
gpuweb:mainfrom
tidoust:refresh-w3cjson

Conversation

@tidoust
Copy link
Copy Markdown
Contributor

@tidoust tidoust commented Apr 30, 2026

The list of contacts in the w3c.json file was outdated. This refreshes it to match list of chairs + team contact.

Also using this opportunity to make the list of groups more readable (the system used to require internal group IDs but now accepts more human-friendly shortnames)

@jimblandy, FYI, the IPR bot sends email notifications about PRs that need checking to this list (provided there's an email set on the GitHub profile, which seems to be the case for you).

The list of contacts in the `w3c.json` file was outdated. This refreshes it to
match list of chairs + team contact.

Also using this opportunity to make the list of groups more readable (the system used to require internal group IDs but now accepts more human-friendly shortnames)
@tidoust tidoust requested a review from jimblandy April 30, 2026 07:16
@github-actions
Copy link
Copy Markdown
Contributor

Previews, as seen when this build job started (daa9c5d):
WebGPU webgpu.idl | Explainer | Correspondence Reference
WGSL grammar.js | wgsl.lalr.txt

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants