Update github sizes

diff --git a/github.html b/github.html
index 7b333a867bd7596cf33d7ae0d580e81c12e80096..3841c6957876def8e11918f4eb20f7317b0e9da2 100644 (file)
--- 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>