mirror of
https://github.com/php/php-src.git
synced 2026-04-24 16:38:25 +02:00
294c9ec36c
Creating PRs against forks requries having up-to-date target branches. Pushing to these currently triggers CI, which is useless as this commit was already tested upstream. Contributions are tested via pull request.