php/archived-web-php
1
0
Fork 0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00
Code Issues Packages Projects Releases Wiki Activity

Weight GitHub more highly than git.php.net, per conversation with dsp.

Browse Source
This commit is contained in:
Adam Harvey
2012-03-20 11:47:44 +08:00
parent e2e39ae2e6
commit ed033bc418
1 changed files with 8 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
git.php
View File

@@ -68,17 +68,18 @@ site_header("Git Access", array("current" => "community"));
<ol>
<li>
You can retrieve the PHP source code from
You can retrieve the PHP source code from our
<a href="https://github.com/php/php-src.git">GitHub mirror</a> with this
command:
<br /><br />
<code>git clone https://github.com/php/php-src.git</code>
<br /><br />
Alternatively, you can retrieve the source code from
<a href="http://git.php.net/">git.php.net</a> with this command:
<br /><br />
<code>git clone http://git.php.net/repository/php-src.git</code>
<br /><br />
Or from the <a href="https://github.com/php/php-src">GitHub mirror</a>, which
you may want to use if you plan to create pull requests:
<br /><br />
<code>git clone https://github.com/php/php-src.git</code>
<br /><br />
</li>
<li>