3 ms·
When we moved PHP to git we made sure we have our own infrastructure and keep our control there. Reality however is that people love doing "pull requests" on th
by johannes1234321 8y ago
When we moved PHP to git we made sure we have our own infrastructure and keep our control there. Reality however is that people love doing "pull requests" on the GitHub mirror and use git.php.net only as push target.
- johannes1234321 8y agoAnd if anybody looks at git.php.net and thinks "well ugly, no wonder we anybody isn't using it" that's true. And moving to self-hosted GitLab was brought up, but won't solve it. We still have many pass-by PRs from people who wouldn't submit if it was on GitHub.