|Open||None||T154044 Epic: Support custom Han characters on Chinese Wikisource|
|Open||QChris||T153989 Get mirror of IDS Extension repository set up in Gerrit/Diffusion|
The thing is that there is no clear convention on lower/upper case for abbreviations in extension names.
Some extensions use all caps. Some extensions only captizalize the first letter of abbreviations (e.g.: Html2Wiki, AjaxLogin, ShortUrl, …).
As the extension is called Ids (lower case ds) on its extension page, we should follow that lead and also choose the lower case ds in the repo name.
I think 'IDS' makes more sense than 'Ids' — I keep reading it wrong myself. It won't be too hard to rename it everywhere, and better to do so before it becomes any more embedded. If there's no convention to follow, lets just go with what's easier to read.