Re: Git commit disappeared

Hello Derick, firstly, thank you for fast reply.

It's odd. I did commit to web-pres2 to remove some files that shouldn't be there. But I checked, and it's really to git.php.net :S But if there is a commit on github, and not on git.php.net, that indicates I must have committed it to the first one. I'll remove that commit (and force push it) - hopefully that won't break things. Make a backup though :-) I'll then redo the commit at git.php.net. Would that work?

I can redo those commits, no problem. I'm asking out of curiosity, as this is the weirdest sitation with git I've ever had, especially according to fact that you didn't do force push.

PS: Derick, I've CC'ed you, because I'm almost sure that whole situation happened after your commit, so you should be able to confirm or deny forced push case.

I didn't force push, that's for sure. cheers, Derick

Thanks, Maciej.