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.

http://news.php.net/php.internals/59074