[10:44:37] hashar: do you have the power to edit the "Repository Description" shown at https://gerrit.wikimedia.org/r/admin/repos/q/filter:pywikibot (or at https://gerrit.wikimedia.org/r/admin/repos/pywikibot/core,general), or do you know who does? [10:44:54] this is in context of a Slack conversation about the repos being confusing. https://wikimedia.slack.com/archives/C0153LQ5G82/p1760846335657069 [12:48:18] MatmaRex: I should be able to edit it yes :) [12:49:28] theorically you can propose a change to alter it which involves some trick ( `git fetch origin refs/meta/config && git checkout -b meta/config FETCH_HEAD && $EDITOR project.config` && git add project.config && git commit -m 'Update project description' && git push origin HEAD:refs/for/refs/meta/config ` ) [12:49:30] :) [12:50:28] it is probably worth filing as a task against #pywikibot and subscribe xqt to it (he/she is the main author [12:58:35] hmm, i wonder if i can do it from the UI, i saw some buttons [13:06:12] oh [13:06:18] I should have started with the ui yeah [13:06:47] at the link you gave for pywikibot/core.git https://gerrit.wikimedia.org/r/admin/repos/pywikibot/core,general [13:06:54] there is a "Description" field [13:06:58] that is the one shown on the list of repo [13:07:25] which I guess requires to be an Owner of the repo [13:12:54] yeah, but that field is disabled for me [13:13:05] but on https://gerrit.wikimedia.org/r/admin/repos/pywikibot/core,commands i have ab utton that says "Edit repo config", i haven't tried clicking it yet :) [13:16:38] yeah cause you lack the Owner permission [13:16:47] I could add you as an owner for pywikibot/* though :] [13:16:59] or you can try that [EDIT REPO CONFIG] link [13:17:15] that would create an empty change against `refs/meta/config` which you should then be able to edit via the web ui [13:17:17] (I never tried) [13:28:52] what do you call a repository like that "pywikibot" or the "mediawiki" one? a metarepo? a namespace? [13:33:55] this suggests it's called a namespace: https://www.mediawiki.org/wiki/Gerrit/New_repositories#Step_2:_Request_a_Git_repository [13:39:38] in Gerrit that is a "Permission" repository [13:40:00] ie it has no code [13:40:05] and the other repositories are "Code" repositories [13:40:36] IIRC a repository is a Permission repo iff it does not have an HEAD defined [13:41:05] err I am wrong [13:41:16] it is a Permission repo when HEAD points to `refs/meta/config` [13:41:17] https://gerrit.wikimedia.org/r/admin/repos/pywikibot,branches [13:41:36] and yes that can be used to namespace repos [13:41:52] hmm [13:41:53] plot twist, a code repository can also be used to namespace repositories! [13:41:54] i started tweaking some descriptions https://gerrit.wikimedia.org/r/q/branch:refs/meta/config+owner:dziewonski@fastmail.fm [13:42:07] so potentially we could have mediawiki/core.git code direclty in mediawiki.git [13:42:12] and i want to get the terminology right :) [13:42:29] :-] [13:43:17] mediawiki.git has All MediaWiki-related projects (core, extensions, tools) are under this heading. [13:43:21] "heading" [13:43:28] but that probably got filed this way back in 2012 or so [13:44:06] https://gerrit.wikimedia.org/r/admin/repos could use some enhancements [13:44:12] such as being able to filter out reado-only repo [13:44:21] and differentiate/filter code vs permission repos [13:44:41] yep [13:49:10] anyway, reviews on those changes are appreciated! [13:55:06] well done, I have merged the three that are mediawiki related [13:55:11] s/merged/reviewed and merged/ [13:55:17] "namespace" sounds appropriate [13:56:03] and xqt has +2 the others [14:31:42] thanks hashar