[dmd-internals] How do I revert on github

[Walter Bright]

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?