- From: Pierre-Antoine Champin <pierre-antoine@w3.org>
- Date: Wed, 27 Nov 2024 18:45:44 +0100
- To: JSON-LD Working Group <public-json-ld-wg@w3.org>
Received on Wednesday, 27 November 2024 17:45:47 UTC
Dear all,
per an action that I took during one of our last calls,
I ensured that all our github repositories [1] have their issues and PRs
reflected in the dashboard [2], with a few caveats:
* I actually excluded 2 repose: minutes (which is not used anymore) and
json-ld-wg-charter, because I don't think those make sense
(but I can add them if the rest of the group disagrees)
* this is not retroactive; only issues and PRs newly open will be
automatically added.
* the repos cbor-ld-spec, yaml-ld and json-ld-star are in the json-ld
organization, not the w3c organization;
their (newly created) issues and PRs seem to be correctly added to
the project,
but weirdly, their "project" box (on the right column) remains
empty, when you open them from the repo.
When you open them /from the project/, then the "project" box is
correct.
* for those 3 repos in the json-ld organization,
it seems to be impossible to manually add an old issue/PR to the
project.
The project just does not appear in any list.
best,
pa
[1] https://www.w3.org/groups/wg/json-ld/tools/
[2] https://github.com/orgs/w3c/projects/84/
Received on Wednesday, 27 November 2024 17:45:47 UTC