On 12 nov 2011, at 06:38, Vladimir Panteleev wrote: > On Sat, 12 Nov 2011 06:58:16 +0200, Jonathan M Davis <jmdavisp...@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:vladi...@thecybershadow.net > _______________________________________________ > dmd-internals mailing list > dmd-internals@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 _______________________________________________ dmd-internals mailing list dmd-internals@puremagic.com http://lists.puremagic.com/mailman/listinfo/dmd-internals
