Hacker News new | ask | show | jobs
by stoph 5392 days ago
There is already a github mirror:

https://github.com/php/php-src