From c3e4122172ea1dbe5b2ecd98dc42add02c2e72fd Mon Sep 17 00:00:00 2001
From: Zachary Vance <za3k@za3k.com>
Date: Thu, 19 Nov 2015 22:14:28 -0800
Subject: [PATCH] Fix github page

---
 github.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/github.html b/github.html
index 433b349..eb1ac99 100644
--- a/github.html
+++ b/github.html
@@ -6,10 +6,10 @@ Currently no one has archived github.com.
 I host the metadata for the repositories. Metadata for gists is currently unavailable from github, but I'm working with them to make it public.
 <ul>
 	<li>Full repository metadata is available in batches of 10,000 at <pre>http://za3k.com/github/repos-&lt;X>0000-&lt;X+1>0000.json
->http://za3k.com/github/repos-&lt;X>0000-&lt;X+1>0000.json.gz</pre>.</li>
+>http://za3k.com/github/repos-&lt;X>0000-&lt;X+1>0000.json.gz</pre></li>
 	<li>You can grab greatly abbreviated metadata (recommended) as <a href="https://za3k.com/github/repos.json">JSON</a>.</li>
 	<li>Finally, you can get a txt file of just the repo names: <a href="https://za3k.com/github/repos.txt">txt</a>.</li>
-<ul>
+</ul>
 
 Additional information:
 <ul>
-- 
2.47.3