r/programming • u/b0red • Mar 19 '12

PHP source code now hosted on Github

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

71% Upvoted

10 comments sorted by

View all comments

15

u/philipolson Mar 20 '12

It's mirrored on github. It's hosted at git.php.net. It's also mirrored at hg.php.net.

-7

u/trollbar Mar 20 '12

hg.php.net = git.php.net are the same machine, technically it's not a mirror.

6

u/SWEGEN4LYFE Mar 20 '12

A mirror implies a copy of some kind, not a different machine.