On Sunday, 12 May 2013 at 15:08:22 UTC, Andrei Alexandrescu wrote:
I'm thinking we should rename D-programming-language on github
with dlang. While we're at it, project
d-programming-language.org should be renamed dlang.org.
This may cause disruption. Thoughts?
Andrei
They are painfully long so I'm for it (and in the case of
d-programming-language.org, inaccurate since dlang.org is the
official url now). The major contributors should weigh in though
since it will affect them the most.
For those wondering how you resolve this after the change you
just open .git/config for each repo and change
"D-Programming-Language" remotes to say "dlang". Pretty easy.
A couple spots on the website that link to the repo would have to
be updated but nothing you couldn't find and fix in less than a
minute using a git grep.
