On Wed, Jan 21, 2015 at 3:40 AM, Maciej Sobaczewski <[email protected]> wrote: > 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. >
Commits from git.php.net to -> github are force push. That means, if someone accidentally clicks the "merge pull request" button on github, or manually pushes stuffz to github, it will be forcefully overwritten next time git.php.net pushes to github (which happens after each push to git.php.net). There are only 3-4 people that have github karma, so the chances of this happening should be exceptionally slim... but shit does happen :) -Hannes -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
