From eb7da9f13a8aec2f763b45caf90c6563fe9602c6 Mon Sep 17 00:00:00 2001
From: Zachary Vance <za3k@za3k.com>
Date: Sun, 29 Nov 2015 20:51:48 -0800
Subject: [PATCH] Mention news server

---
 github.html | 12 ++++++------
 index.html  |  1 +
 2 files changed, 7 insertions(+), 6 deletions(-)

diff --git a/github.html b/github.html
index 8e00d4e..7b333a8 100644
--- a/github.html
+++ b/github.html
@@ -4,20 +4,20 @@
 <p>Currently no one has backed up github.com (aside from Github). This webpage is about progress toward that. If you have 150-200TB of disk space and really good internet, please <a href="https://za3k.com">contact me</a> about getting a copy of github.</p>
 
 <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 million repositories.
+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><p>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>
+	<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><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>
     To download all files, run <pre>
-    for x in {0..4700}; do \
+    for x in {0..5000}; do \
       echo "https://za3k.com/github/repos-${x}0000-${x}9999.json.gz"; \
     done | wget -N -i -
     </pre>
-    The combined size of these files is <b>15G compressed</b>, 168G uncompressed. Files are grouped by github's internal id; since some repositories are deleted or privated, each file contains less than 10,000 repositories.
+    The combined size of these files is <b>9.7G compressed</b>, 115G uncompressed. Files are grouped by github's internal id; since some repositories are deleted or privated, each file contains less than 10,000 repositories.
 </li>
-	<li>You can grab greatly abbreviated metadata (recommended) as <a href="https://za3k.com/github/repos.json">JSON</a>. This includes the repository name and URL, a short description, whether it is a fork (and what of), and the approximate size of the repository.</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>
 	<li>This data was downloaded using a <a href="https://github.com/za3k/github-backup">custom tool</a> I wrote. My tool gets the data from the github API v3, with as little modification as possible.</li>
 </ul> 
 
diff --git a/index.html b/index.html
index 0902253..c389c17 100644
--- a/index.html
+++ b/index.html
@@ -92,6 +92,7 @@
             <li>Get some <a href="http://moreorcs.com">orc-themed email addresses</a> <a href="https://github.com/za3k/moreorcs">[Source]</a></li>
             <li><a href="https://publishing.za3k.com">Publish</a> any physical book at minimum cost and maximum convenience</li>
             <li><a href="https://irc.za3k.com/?channels=forum">Web chat</a> for irc.za3k.com</li>
+            <li>An independent news server, located at nttp.za3k.com:563. You'll need a client that supports TLS access. Thunderbird works well.</li>
         </ul>
     </section>
 
-- 
2.47.3