<div dir="ltr">I always agree that short good name is better than long ones.<div style>At least to me, changing git remote setting is not so much laborious.</div><div style><br></div><div style>Kenji Hara</div></div><div class="gmail_extra">
<br><br><div class="gmail_quote">2013/5/13 Andrei Alexandrescu <span dir="ltr"><<a href="mailto:SeeWebsiteForEmail@erdani.org" target="_blank">SeeWebsiteForEmail@erdani.org</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I'm thinking we should rename D-programming-language on github with dlang. While we're at it, project <a href="http://d-programming-language.org" target="_blank">d-programming-language.org</a> should be renamed <a href="http://dlang.org" target="_blank">dlang.org</a>.<br>

<br>
This may cause disruption. Thoughts?<span class="HOEnZb"><font color="#888888"><br>
<br>
Andrei<br>
</font></span></blockquote></div><br></div>