[Wikitech-l] Renaming git repos