summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMagnus Hagander2018-02-07 09:53:56 +0000
committerMagnus Hagander2018-02-07 10:00:26 +0000
commit9e039015501ad4033c093dee8dfc8b414634e953 (patch)
tree4d36cfa81c26601e2adaff23df1e30df1f9dbf3c
parent0a459cec96d3856f476c2db298c6b52f592894e8 (diff)
Change default git repo URL to https
Since we now support the server side handler for git over https (so we're no longer using the "dumb protocol"), make https the primary choice for cloning the repository, and the git protocol the secondary choice. In passing, also change the links to git-scm.com from http to https. Reviewed by Stefan Kaltenbrunner and David G. Johnston
-rw-r--r--doc/src/sgml/sourcerepo.sgml15
1 files changed, 6 insertions, 9 deletions
diff --git a/doc/src/sgml/sourcerepo.sgml b/doc/src/sgml/sourcerepo.sgml
index 8729a8450d..aaeacb14c5 100644
--- a/doc/src/sgml/sourcerepo.sgml
+++ b/doc/src/sgml/sourcerepo.sgml
@@ -41,7 +41,7 @@
<step>
<para>
You will need an installed version of <productname>Git</productname>, which you can
- get from <ulink url="http://git-scm.com"></ulink>. Many systems already
+ get from <ulink url="https://git-scm.com"></ulink>. Many systems already
have a recent version of <application>Git</application> installed by default, or
available in their package distribution system.
</para>
@@ -52,7 +52,7 @@
To begin using the Git repository, make a clone of the official mirror:
<programlisting>
-git clone git://git.postgresql.org/git/postgresql.git
+git clone https://git.postgresql.org/git/postgresql.git
</programlisting>
This will copy the full repository to your local machine, so it may take
@@ -62,16 +62,13 @@ git clone git://git.postgresql.org/git/postgresql.git
</para>
<para>
- The Git mirror can also be reached via the HTTP protocol, if for example
- a firewall is blocking access to the Git protocol. Just change the URL
- prefix to <literal>https</literal>, as in:
+ The Git mirror can also be reached via the Git protocol. Just change the URL
+ prefix to <literal>git</literal>, as in:
<programlisting>
-git clone https://git.postgresql.org/git/postgresql.git
+git clone git://git.postgresql.org/git/postgresql.git
</programlisting>
- The HTTP protocol is less efficient than the Git protocol, so it will be
- slower to use.
</para>
</step>
@@ -90,7 +87,7 @@ git fetch
<para>
<productname>Git</productname> can do a lot more things than just fetch the source. For
more information, consult the <productname>Git</productname> man pages, or see the
- website at <ulink url="http://git-scm.com"></ulink>.
+ website at <ulink url="https://git-scm.com"></ulink>.
</para>
</sect1>