diff --git a/doc/src/sgml/sourcerepo.sgml b/doc/src/sgml/sourcerepo.sgml
index 6c13c5a30cd..f4368e83ab3 100644
--- a/doc/src/sgml/sourcerepo.sgml
+++ b/doc/src/sgml/sourcerepo.sgml
@@ -40,7 +40,7 @@
- To begin using the Git repository, make a clone of the official mirror:
+ To begin using the Git repository, make a clone of the official mirror:
git clone https://git.postgresql.org/git/postgresql.git
@@ -51,16 +51,6 @@ git clone https://git.postgresql.org/git/postgresql.git
The files will be placed in a new subdirectory postgresql of
your current directory.
-
-
- The Git mirror can also be reached via the Git protocol. Just change the URL
- prefix to git, as in:
-
-
-git clone git://git.postgresql.org/git/postgresql.git
-
-
-