On Saturday, November 12, 2011 07:38:01 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>
That might work. I don't know. I haven't looked at that particular option of revert before, and looking at the man page for git-revert, it looks like it might have some nasty side effects to your ability to merge in the changes after they've been fixed. But that does look like it might be a way to revert the merge if used correctly. - Jonathan M Davis _______________________________________________ dmd-internals mailing list dmd-internals@puremagic.com http://lists.puremagic.com/mailman/listinfo/dmd-internals
