JanZerebecki added a comment. Was anything done for actually renaming the repositories this like ask for the new repo names?
TASK DETAIL https://phabricator.wikimedia.org/T97423 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: dominic.sauer, JanZerebecki Cc: jeblad, Bugreporter, Legoktm, Liuxinyu970226, Andreasburmeister, JanZerebecki, Ricordisamoa, Aklapper, Tamslo, Wikidata-bugs, aude _______________________________________________ Wikidata-bugs mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs
