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

Vladimir Panteleev thecybershadow.lists at gmail.com
Fri Nov 11 21:38:01 PST 2011


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


More information about the dmd-internals mailing list