I always agree that short good name is better than long ones.

At least to me, changing git remote setting is not so much laborious.

Kenji Hara

2013/5/13 Andrei Alexandrescu <SeeWebsiteForEmail@erdani.org>

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