This repository holds the list of GitHub repositories used on w3.org/groups/*/*/tools/ pages, such as the CSS WG tools page.
The following files are automatically generated by the server:
repositories.jsoncontains all public repositories owned by a W3C group known to the W3C API/groups, such as WICG or VC, with their associated sanitizedw3c.jsonfiles.all-repositories.jsoncontains all public repositories of the W3C GitHub organization and other related organizations (as defined in settings.json and from the W3C API).identifiers.jsoncontains a mapping between group IDs and group shortnames.
The list of repositories is generated by the code in w3c/groups-server
settings.json contains configuration settings used by the server. It may be edited manually. The current setting options are:
refreshCycle: how many hours between each refresh cycle from GitHubowners: an Array of the GitHub owner objects (to complete the ones from the W3C DB), as follows:-
login: a string, identifying a GitHub owner, eg.w3c
-
group: an array of zero or more group string identifiers, eg"cg/wicg". If a repository owned by the GitHub owner does not contain aw3c.jsonfile, those group identifiers will be used to associate the repository with a W3C Group.
Note: the server code is currently running within labs.w3.org.
repositories-schema.json and validator.js are used to guarantee and check the validity of repositories.json.
settings-schema.json is used to guarantee and check the validity of settings.json.
Defined in ./lib/utils.js, it will process the raw w3c.json files, by omitting any property not listed in w3c.json documentation and normalizing the valid properties.