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