JanZerebecki added a comment. But this is supposed to be a library/component, not an extension, right? So it's the wrong name. Renaming a gerrit repo is not something that is done. So lets directly use the correct name. I'll create request to delete the wrong name.
TASK DETAIL https://phabricator.wikimedia.org/T112120 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: JanZerebecki Cc: aude, JanZerebecki, Aklapper, Lydia_Pintscher, Wikidata-bugs _______________________________________________ Wikidata-bugs mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs
