On 5/22/2011 7:49 PM, Michel Fortin wrote:
Just do:
git revert 7ed4331f3
This will create a new commit reverting yours. Then push.
Please don't try to rewrite history by using "git reset ..." in the public
repository as it'll cause problems with the auto tester, and potentially annoy other
people if they fetched your commit.
I think I just rewrote history. I'm still learning my way around Git,
and I'm using TortoiseGit, which I should maybe stop using because it
seems to hide too many details about what's really going on, even though
it is easy to use.
_______________________________________________
phobos mailing list
[email protected]
http://lists.puremagic.com/mailman/listinfo/phobos
