Re: [Wikitech-l] Renaming git repos