DMD build

[Andrei Alexandrescu]

On 12/28/12 8:18 PM, Daniel Murphy wrote:
> "Andrei Alexandrescu"<SeeWebsiteForEmail at erdani.org>  wrote in message
> news:kbl3eh$2qe8$1 at digitalmars.com...
>> On 12/28/12 4:39 PM, Brad Roberts wrote:
>>> What impact does this have on the open pull requests?  If it's going to
>>> suddenly break every one of them, then I think it's a particularly bad
>>> idea.
>>
>> There are dozens of open pull requests and if worse comes to worst people
>> will agree to fix their requests because the request for changing
>> extensions has enjoyed considerable popularity.
>>
>>> The benefit is debatable and the cost is pretty annoying.
>>
>> The benefit is we'll avoid resurrecting a debate that comes back and
>> again. Technically there's no reason to move with the change, but right
>> now we're wasting time and burning through karma. Making the change shows
>> respect for the community and for working together in an environment that
>> has few gratuitous idiosyncrasies.
>>
>> Let's do it.
>>
>>
>> Thanks,
>>
>> Andrei
>
> You want to screw up over a hundred open pull requests and destroy the
> commit history...

I used git mv, which to my understanding preserves commit history and 
makes pull requests easy to fix via a rebase: 
http://stackoverflow.com/questions/2641146/handling-file-renames-in-git


Andrei