PHPのバージョン管理がgitに移行。githubでpull requestを投げられるようにも。

PHPのバージョン管理には今までsubversionが使われていて、githubにあったリポジトリは単にそれをミラーリングしていただけだったが、最近になって正式にgitに移行した。また、PHPに何らかのパッチを投げる場合も、以下のgithubリポジトリへのpull requestを通じてできるようになった。

以下、php-internals MLで流れてた告知の引用。


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:
  - people with valid github accounts can comment
    on pull request
  - people with valid php accounts can close pull
    request using the tool
    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 mailinglist.

Note that we DONT hand out access to the
github repository and will we not add
you to the PHP organization on github.