DMD build

[Rob T]

On Saturday, 29 December 2012 at 03:27:38 UTC, Andrei 
Alexandrescu wrote:
> 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