commit f783cfe04584f3c5cce5585e4df2d97801e2ff41
from: Stefan Sperling <stsp@stsp.name>
date: Thu Feb 09 09:46:56 2023 UTC

metion 'got clone' above the list of mirrors; easily missed otherwise

commit - f908e83d0ce88f6283b9841f1f3404b901f201e7
commit + f783cfe04584f3c5cce5585e4df2d97801e2ff41
blob - 495aeb3d40ff5ddb84a6c1af5d134b18abc90810
blob + b956b5e286277794e379ebdfade9ba7635bb538a
--- code.html
+++ code.html
@@ -30,6 +30,14 @@ git clone ssh://anonymous@got.gameoftrees.org/got.git
 </pre>
 
 <p>
+If the <a href="got.1.html">got(1)</a> utility is already installed it can
+be used instead of Git to clone the repository and check out a work tree:
+<pre class="cmdbox">
+got clone ssh://anonymous@got.gameoftrees.org/got.git
+got checkout got.git
+</pre>
+
+<p>
 Source code of the -portable version and be cloned with:
 <pre class="cmdbox">
 git clone ssh://anonymous@got.gameoftrees.org/got-portable.git
@@ -119,14 +127,6 @@ SSH fingerprints:<br>
 </pre>
 </ul>
 
-<p>
-If the <a href="got.1.html">got(1)</a> utility is already installed it can
-be used instead of Git to clone the repository and check out a work tree:
-<pre class="cmdbox">
-got clone ssh://anonymous@got.gameoftrees.org/got.git
-got checkout got.git
-</pre>
-
 <!-- deprecated, don't use for new clones
 Alternatively, the repository can be cloned from git.gameoftrees.org
 via HTTPS with Git: