[dmd-internals] What is the necessary to increase speed of merging?

[Vladimir Panteleev]

On Sat, 12 Nov 2011 06:58:16 +0200, Jonathan M Davis <jmdavisProg at gmx.com>  
wrote:

> Git in general doesn't have a way to unpull AFAIK, which would make it  
> rather hard for github to do it.

What about reverting the merge commit?

git revert -m 1 <merge-commit-SHA1>

-- 
Best regards,
  Vladimir                            mailto:vladimir at thecybershadow.net