Could I get my repository LdapGroups renamed to LDAPGroups? After that, I can move the work I've been doing on github to gerrit.
Description
Related Objects
Event Timeline
A repo LDAPGroups exists now and conflicts with the lowercase name on windows.
Was the creation part of the rename?
@MarkAHershberger @Osnard We now have two extensions named similarly: [[ https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/extensions/LDAPGroups/ | LDAPGroups ]] and [[ https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/extensions/LdapGroups/ | LdapGroups ]]. Is this intended? Is extension-LdapGroups to be archived? We can't add both to rMEXT as that'd have unwanted effects as stated at T224659#5628029. Regards.
Alright @MarkAHershberger - I understand you meant https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/extensions/LdapGroups/ whose extension.json file lists you as sole author.
MediaWiki-extensions-LDAPGroups though mentions that extension and not LDAP groups in the description. Shall we update it before starting the archival process @Aklapper ?
Resolved because something happened. Although LdapGroups and LDAPGroups are different extensions, both have Mark as author so I guess the later has code from the former or both cooperated in its development. LdapGroups is to be archived.
Who manages github mirroring? It looks like there is no mirror of the current LDAPGroups.