[git] commit web/php.git: git.php

Commit: ed033bc4184a74d3729dca941628a10270ef3e33 Author: Adam Harvey(aharvey@php.net) Tue, 20 Mar 2012 11:47:44 +0800 Committer: Adam Harvey(aharvey@php.net) Tue, 20 Mar 2012 11:47:44 +0800 Parents: e2e39ae2e64ca79fcb1d1fccaa54862555c8120e Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=ed033bc4184a74d3729dca941628a10270ef3e33 Log: Weight GitHub more highly than git.php.net, per conversation with dsp. Changed paths: M git.php Diff: ed033bc4184a74d3729dca941628a10270ef3e33 diff --git a/git.php b/git.php index 3e87d6c..90ec035 100644 --- a/git.php +++ b/git.php @@ -68,16 +68,17 @@ site_header("Git Access", array("current" => "community")); <ol> <li> - You can retrieve the PHP source code from - <a href="http://git.php.net/">git.php.net</a> with this command: + 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 http://git.php.net/repository/php-src.git</code> + <code>git clone https://github.com/php/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: + 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 https://github.com/php/php-src.git</code> + <code>git clone http://git.php..net/repository/php-src.git</code> <br /><br /> </li>