There is a wmf_gitlab_group_projects which takes a group and adds all of the projects using https://gitlab.wikimedia.org/groups/{group}/-/children.json (here https://gitlab.wikimedia.org/groups/m3api/-/children.json would that be good enough? it gives 404 to me though :/

https://gitlab.wikimedia.org/groups/repos/m3api/-/children.json works (extra repos/), I think that would be okay! (I just scheduled the tmp-* repositories for deletion, though they still show up in that JSON at the moment. If that’s a problem, I can delete them immediately.)

If you can make the patch to write_config.py I'd appreciate it. Otherwise, I try to do it when I find some free time.

Hm, I guess we need to pick a group first, I didn’t think about that yet 😅

I guess it could fall under CI & Development? Or a new group, like Pywikibot. But I’ll make a change with CI & Development (devtools) first and then we can discuss :)

Change #1188896 had a related patch set uploaded (by Lucas Werkmeister; author: Lucas Werkmeister):

[labs/codesearch@master] devtools: add repos/m3api group

https://gerrit.wikimedia.org/r/1188896

I also moved all the to-be-deleted tmp-* repositories to the lucaswerkmeister/ namespace, to get them out of the children.json list immediately. (They’ll still be deleted in a week.)

Change #1188896 merged by jenkins-bot:

[labs/codesearch@master] devtools: add repos/m3api group

https://gerrit.wikimedia.org/r/1188896

\o/ thanks!

Just to mention it here – the group mechanism seems to work like a charm, I just noticed that the new m3api-rest repo got picked up without any issue \o/