]> git.za3k.com Git - za3k.git/commitdiff
Re-order contents
authorZachary Vance <za3k@za3k.com>
Fri, 20 Nov 2015 06:24:15 +0000 (22:24 -0800)
committerZachary Vance <za3k@za3k.com>
Fri, 20 Nov 2015 06:24:15 +0000 (22:24 -0800)
github.html

index e34525542cd6386663946a8af3c585568111685e..d54edd5f8df5145fef24038e608d8745e6781133 100644 (file)
@@ -1,7 +1,7 @@
 <html>
 <head><title>Github Archive</title></head>
 <body>
-Currently no one has archived github.com. This webpage is about progress toward that.
+<p>Currently no one has archived github.com. This webpage is about progress toward that.</p>
 
 I host the metadata for the repositories:
 <ul>
@@ -17,13 +17,13 @@ done
 </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>
+       <li>I got data on github repositories using a <a href="https://github.com/za3k/github-backup">custom tool</a> I wrote which uses the github API.</li>
 </ul> 
 
-Metadata for gists is currently unavailable from github, but I'm working with them to make it public.
+<p>Metadata for gists is currently unavailable from github, but I'm working with them to make it public.</p>
 
 Additional information:
 <ul>
-       <li>I got data on github repositories using a <a href="https://github.com/za3k/github-backup">custom tool</a> I wrote which uses the github API.</li>
        <li><a href="https://www.githubarchive.org">githubarchive.org</a> archives the public timeline of github.</li>
        <li><a href="http://archiveteam.org/index.php?title=Github">Archive Team</a> has some information about github, and you probably should talk to them if you want to archive github. We basically just don't have anyone with space.</li>
 </ul>