"Hello,
sorry for a stupid question, but after I removed my fork, merged commits
seem to disappear oO Am I wrong about how pull requests work or
something very strange happened? Or has it nothing to od with repository
removal and it was somehow intended?
Thanks."
https://github.com/php/web-pres2/pull/1
The only explanation which comes to my mind would be cherrypicking + git
push --force, but I see no sense in doing such a thing.
Note: while those commits (at least at this particular moment) does
still exist on Github
(https://github.com/php/web-pres2/commit/bd23d3d3ca7d20262d94bf054e988a73f0d51c2e),
they are not present in actual repo
(http://git.php.net/?p=web/pres2.git;a=commit;h=bd23d3d3ca7d20262d94bf054e988a73f0d51c2e),
so it is probably a cache.
Is anyone able to explain this? Thanks in advance.
Maciej.
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.
--
PHP Webmaster List Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php
