From ad9295958eb0599e805c4d28d92dfe77ca133574 Mon Sep 17 00:00:00 2001
From: Zachary Vance <za3k@za3k.com>
Date: Sun, 29 Nov 2015 23:05:33 -0800
Subject: [PATCH] Update github sizes

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

diff --git a/github.html b/github.html
index 7b333a8..3841c69 100644
--- a/github.html
+++ b/github.html
@@ -6,8 +6,8 @@
 <h3>List of Respositories</h3>
 I host some metadata about github's repositories. This includes a lot of basic data about the repository, but NOT the issues, any wiki, downloads, or the git repository. As of Nov 2015, github has 28.3 million repositories.
 <ul>
-	<li>You can grab greatly abbreviated metadata (recommended) as <a href="https://za3k.com/github/repos.json.gz">JSON</a>. This includes the repository name and URL, whether it is a fork (and what of), and a short description.</li>
-	<li>You can get a txt file of just the repo names: <a href="https://za3k.com/github/repos.txt.gz">txt</a> (676M uncompressed, 332M compressed).</li>
+	<li>You can grab greatly abbreviated metadata (recommended) as <a href="https://za3k.com/github/repos.json.gz">JSON</a> (2.4G compressed, 6.9G uncompressed). This includes the repository name and URL, whether it is a fork (and what of), and a short description.</li>
+	<li>You can get a txt file of just the repo names: <a href="https://za3k.com/github/repos.txt.gz">txt</a> (332M compressed, 676M uncompressed).</li>
 	<li><p>Finally, full repository metadata is available in JSON format. The format is explained on the <a href="https://developer.github.com/v3/repos/#list-all-public-repositories">github API</a>.</p>
     <p>The files are available in batches of 10,000 at <pre>http://za3k.com/github/repos-&lt;X>0000-&lt;X>9999.json
 http://za3k.com/github/repos-&lt;X>0000-&lt;X>9999.json.gz</pre>
-- 
2.47.3