Hello, On Sat, Nov 17, 2007 at 12:12:50AM +0100, Benoit Sigoure wrote: >> Then I tried to correct that and "reset" the remote repo. >> I tried git-reset and "git-push -f" but the server has refused that. > > Don't do that. [...]
you are right, of course. I'll remember that. > Meaning? What happened? ... > Works for me... I believe I did the same, except that I used reset and commit instead of --amend, and that I used "push -f" instead of "push --force". I do not think this matters. I guess the command is blocked somehow on the server side. Eric knows how to circumvent this, but he does not tell me, and for a reason. ;-) No, seriously, I realize now I shouldn't do it, the benefit is not worth the risk. I may not be sure I'm throwing away only my two commits; perhaps someone else pushed something at that very minute. Stepan PS: But I'm still curious, so perhaps Eric could tell us? ;-) Off the list, perhaps...
