From fb47b0120f7aa73c0821a8c55e15540d83baed01 Mon Sep 17 00:00:00 2001
From: Rob Landley <rob@landley.net>
Date: Sun, 12 Sep 2021 14:33:36 -0500
Subject: [PATCH] Add a local git mirror (todo item since github was
 acquired)...

---
 www/git/index.html | 1 +
 www/header.html    | 6 +++++-
 2 files changed, 6 insertions(+), 1 deletion(-)
 create mode 100644 www/git/index.html

diff --git a/www/git/index.html b/www/git/index.html
new file mode 100644
index 00000000..bade8d1b
--- /dev/null
+++ b/www/git/index.html
@@ -0,0 +1 @@
+Not browseable: <b>git clone https://landley.net/toybox/git</b>
diff --git a/www/header.html b/www/header.html
index 7fbed4e7..4acc95a7 100644
--- a/www/header.html
+++ b/www/header.html
@@ -23,7 +23,11 @@
   </ul>
   <b>Download</b>
   <ul>
-    <li><a href="https://github.com/landley/toybox">Source control</a></li>
+    <li>Git repo:
+      <ul><li><a href="https://github.com/landley/toybox">github</a></li>
+          <li><a href=https://landley.net/toybox/git>local</a></li>
+      </ul>
+    </li>
     <li><a href="downloads">Releases</a></li>
     <li><a href="bin">Binaries</a></li>
   </ul>
-- 
2.39.2