On 5/22/2011 7:53 PM, David Simcha wrote:
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.
Ok, thanks for the advice. I did it completely wrong before I got your
email, but probably noone fetched my commit because I fixed it too fast
and now I understand what you're talking about and how to do it properly
next time.
_______________________________________________
phobos mailing list
[email protected]
http://lists.puremagic.com/mailman/listinfo/phobos
