maintaining.html: Use https:// location of Linus's tree (rather than git://)

Signed-off-by: Michael Kerrisk <>
diff --git a/maintaining.html b/maintaining.html
index 86dae4d..e72c235 100644
--- a/maintaining.html
+++ b/maintaining.html
@@ -150,7 +150,7 @@
             You can get a copy of Linus' Git tree (i.e., the current development tree)
             using this command:
             <!-- -->
-            <pre class="shell">$ <strong>git clone git:// linux</strong></pre>
+            <pre class="shell">$ <strong>git clone</strong></pre>
             Thereafter, just update the copy using <span class="func">git pull</span>.