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.
--
PHP Webmaster List Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php
