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

[Jacob Carlborg]

On 12 nov 2011, at 06:38, Vladimir Panteleev wrote:

> 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
> _______________________________________________
> dmd-internals mailing list
> dmd-internals at puremagic.com
> http://lists.puremagic.com/mailman/listinfo/dmd-internals


I would say it's better to not pull on github in the first place. Pull and verify on the local machine instead.

-- 
/Jacob Carlborg