From f460a6e621990f3558ee38567abc5855855730cf Mon Sep 17 00:00:00 2001
From: "martin f. krafft" <madduck@madduck.net>
Date: Fri, 12 Mar 2010 12:35:24 +0100
Subject: [PATCH] add url alias to header

---
 header.html | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/header.html b/header.html
index 92576a9..844e041 100644
--- 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>
-- 
2.39.2