PHPのバージョン管理がgitに移行。githubでpull requestを投げられるようにも。
PHPのバージョン管理には今までsubversionが使われていて、githubにあったリポジトリは単にそれをミラーリングしていただけだったが、最近になって正式にgitに移行した。また、PHPに何らかのパッチを投げる場合も、以下のgithubリポジトリへのpull requestを通じてできるようになった。
以下、php-internals MLで流れてた告知の引用。
Hi with the php-src migrated to git we start receiving pull request on github. A few things to notice: - developers can pull the requests as described here: https://wiki.php.net/vcs/gitfaq#github_pull_requests - people with valid github accounts can comment on pull request - people with valid php accounts can close pull request using the tool http://qa.php.net/pulls. Thank you joahnnes for writing it. Before pulling make sure: - the pull request contains appropriate tests for the change - the commit message contains a good and precise description what was changed and why ensure that you pull it into the right branch. Pull request notifications are send to the git-pulls@lists.php.net mailinglist. Note that we DONT hand out access to the github repository and will we not add you to the PHP organization on github.