Add http://ghtorrent.org/

diff --git a/github.html b/github.html
index 3841c6957876def8e11918f4eb20f7317b0e9da2..74950e929fdb620bddb14ab8df5bdf4da11776bb 100644 (file)
--- a/github.html
+++ b/github.html
@@ -26,6 +26,7 @@ http://za3k.com/github/repos-&lt;X>0000-&lt;X>9999.json.gz</pre>
 
 <h3>Github Timeline</h3>
 <p>The Events Timeline is emphemeral, and being successfully recorded by <a href="https://www.githubarchive.org">githubarchive.org</a>. A second person running the same program in case of downtime would be a plus.</p>
+<p>(New!) <a href="http://ghtorrent.org/">http://ghtorrent.org/</a> is downloading the same timeline, and also fetching fuller historical data.</p>
 
 <h3>Estimates on archiving repositories</h3>
 <p>I selected 1000 random repositories from the above list, removing 427 forks. I then checked out all repositories. The total size was 4.3G, with or without compression. It was around 3 GB for a <a href="https://git-scm.com/docs/git-clone">shallow</a> checkout. If we assume forks take no space, this means an average github repository takes up 4.3M. Omitting the largest repositories may improve this estimate, but I didn't run further tests.</p>