[dmd-internals] How do I revert on github

[Walter Bright]

The documentation for -m 1 seemed to say it would only do the most recent 
("first") of the commits, not all of them.

On 2/18/2012 11:50 AM, Alex wrote:
> Well, I tried the -m 1 thing locally and it *seemed* to revert all the
> commits introduced by the merge commit itself.
>
> Regards,
> Alex
>
> On Sat, Feb 18, 2012 at 8:49 PM, Walter Bright<walter at digitalmars.com>  wrote:
>> Eh, I had to make a script that reverted each of the commits that made up
>> the merge in reverse order. Apparently there is no command to revert a
>> commit of commits.
>>
>>
>> On 2/18/2012 11:33 AM, Alex wrote:
>>> Oh, hrm, can you try: git revert -m 1
>>> 03e8dddc8a53e42d73b04dd23287f206fcc35dd0
>>>
>>> Regards,
>>> Alex
>>>
>>> On Sat, Feb 18, 2012 at 8:26 PM, Walter Bright<walter at digitalmars.com>
>>>   wrote:
>>>> This is the message it gave me:
>>>>
>>>> fatal: Commit 03e8dddc8a53e42d73b04dd23287f206fcc35dd0 is a merge but no
>>>> -m
>>>> option was given.
>>>>
>>>>
>>>> On 2/18/2012 11:20 AM, Alex wrote:
>>>>> git revert 03e8dddc8a53e42d73b04dd23287f206fcc35dd0 should do the
>>>>> trick (the hash being the merge commit).
>>>>>
>>>>> Regards,
>>>>> Alex
>>>>>
>>>>> On Sat, Feb 18, 2012 at 8:16 PM, Walter Bright<walter at digitalmars.com>
>>>>>   wrote:
>>>>>> This needs to be reverted:
>>>>>>
>>>>>> https://github.com/D-Programming-Language/dmd/pull/727
>>>>>>
>>>>>> Is there a simple command to do it?