diff --git a/doc/src/sgml/sourcerepo.sgml b/doc/src/sgml/sourcerepo.sgml
index dd9da5a7b0b..8b9ee7bf29e 100644
--- a/doc/src/sgml/sourcerepo.sgml
+++ b/doc/src/sgml/sourcerepo.sgml
@@ -41,7 +41,7 @@
You will need an installed version of Git>, which you can
- get from . Many systems already
+ get from . Many systems already
have a recent version of Git> installed by default, or
available in their package distribution system.
@@ -52,7 +52,7 @@
To begin using the Git repository, make a clone of the official mirror:
-git clone git://git.postgresql.org/git/postgresql.git
+git clone https://git.postgresql.org/git/postgresql.git
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
- 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 https>, as in:
+ The Git mirror can also be reached via the Git protocol. Just change the URL
+ prefix to git>, as in:
-git clone https://git.postgresql.org/git/postgresql.git
+git clone git://git.postgresql.org/git/postgresql.git
- The HTTP protocol is less efficient than the Git protocol, so it will be
- slower to use.
@@ -90,7 +87,7 @@ git fetch
Git> can do a lot more things than just fetch the source. For
more information, consult the Git> man pages, or see the
- website at >.
+ website at >.