Last fall the PHP core team voted to pick a distributed version control system and git won handily. David Soria Parra, the release manager of PHP 5.4, has put together a workflow for core committers merging GitHub pull requests into PHP. Using github was one of the most important reasons to switch to git in the first place. The php-src repository is 13 years old and includes over 80k commits. Mayb
![PHP source now available on GitHub](https://cdn-ak-scissors.b.st-hatena.com/image/square/4bc828f7161174636e3b8a61fd8dbc41a208895f/height=288;version=1;width=512/https%3A%2F%2Fgithub.blog%2Fwp-content%2Fuploads%2F2012%2F03%2Fphp-big.jpg)