- From: Pierre-Antoine Champin <pierre-antoine@w3.org>
- Date: Thu, 28 Nov 2024 18:06:47 +0100
- To: Gregg Kellogg <gregg@greggkellogg.net>
- Cc: JSON-LD Working Group <public-json-ld-wg@w3.org>
- Message-ID: <df62598f-c3f1-485b-965b-114b22c042c1@w3.org>
On 27/11/2024 21:35, Gregg Kellogg wrote: > 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. my bad! 8-O > But, we don’t use it for issues or anything else that needs automation. for the sake of regularity, I still added the GH action. This way if anyone reports an issue there, we are less likely to miss it. >> >> * 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. +1 > > 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 Thursday, 28 November 2024 17:07:30 UTC