diff --git a/doc/src/sgml/sourcerepo.sgml b/doc/src/sgml/sourcerepo.sgml
index 07b003a7941..9ed121a06b6 100644
--- a/doc/src/sgml/sourcerepo.sgml
+++ b/doc/src/sgml/sourcerepo.sgml
@@ -50,7 +50,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
@@ -61,16 +61,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
-
-
-