[dmd-internals] How do I revert on github

[Martin Nowak]

> git revert -m 0 would have worked.
> The number indexes the parent branch.
>

OK indexing starts at 1 and it works for me too. It only creates one  
commit though.