add url alias to header

diff --git a/header.html b/header.html
index 92576a9e666bec5b72790d11353543d6808ea4db..844e041c87635b0ae146e4c06651bb18a431b5bb 100644 (file)
--- a/header.html
+++ b/header.html
@@ -16,3 +16,12 @@ I'd be especially grateful.</p>
 <p>SSH access, as well as push access can be <a
   href="mailto:madduck&#37;&#52;&#48;git&#46;madduck&#46;net">individually
   arranged</a>.</p>
+
+<p>If you use my repositories frequently, consider adding the following
+snippet to <tt>~/.gitconfig</tt> and using the third clone URL listed for each
+project:
+<pre>
+[url "git://git.madduck.net/madduck/"]
+  insteadOf = madduck:
+</pre>
+</p>