|Open||None||T154044 Epic: Support custom Han characters on Chinese Wikisource|
|Open||None||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.
@QChris: I am resetting the assignee of this task because there has not been progress lately (please correct me if I am wrong!). Resetting the assignee avoids the impression that somebody is already working on this task. It also allows others to potentially work towards fixing this task. Please claim this task again when you plan to work on it (via Add Action... → Assign / Claim in the dropdown menu) - it would be welcome! Thanks for your understanding!