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

[Jason House]

I am ignorant about the interface with github, but can't you use git-reset to undo?

Sent from my iPhone

On Nov 11, 2011, at 10:25 PM, Walter Bright <walter at digitalmars.com> wrote:

> 
> 
> On 11/11/2011 10:50 AM, Brad Roberts wrote:
>> 
>> The bigger issue, imho, is Walter's lack of trust in the automated testers.
> 
> Another issue is when I do a pull, and it fails testing. This just happened. Things pretty much grind to a halt when that happens. I wish github had an "unpull" button.
> _______________________________________________
> dmd-internals mailing list
> dmd-internals at puremagic.com
> http://lists.puremagic.com/mailman/listinfo/dmd-internals