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
