- From: Gregg Kellogg <gregg@greggkellogg.net>
- Date: Wed, 27 Nov 2024 12:35:22 -0800
- To: Pierre-Antoine Champin <pierre-antoine@w3.org>
- Cc: JSON-LD Working Group <public-json-ld-wg@w3.org>
- Message-Id: <34FA0897-1A7B-4967-9334-FE8B5ED8ED4C@greggkellogg.net>
On Nov 27, 2024, at 9:45 AM, Pierre-Antoine Champin <pierre-antoine@w3.org> wrote: > > 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) > We do use the json-ld/minutes repository for our minutes; I upload and maintain minutes there after every meeting, and these are the minutes I link back into the calendar event. But, we don’t use it for issues or anything else that needs automation. > * 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. > At some point, the WG will want to tak action to move these repositories to the w3c organization. > * 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. > Maybe moving the repos over to github.com/w3c <http://github.com/w3c> will aid this, but I think we can wait a bit. Thanks for your efforts! Gregg > 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 20:35:39 UTC