Remove GitHub banner. Add GitHub link

brson · brson · commit 498e245d007d · 2012-10-30T10:56:15.000-07:00
diff --git a/index.html b/index.html
@@ -17,7 +17,7 @@
 <body>
 
   <!-- GitHub banner -->
-  <a href="https://github.com/mozilla/rust"><img style="position: absolute; top: 0; right: 0; border: 0;" src="https://s3.amazonaws.com/github/ribbons/forkme_right_red_aa0000.png" alt="Fork me on GitHub"></a>
+  <!--<a href="https://github.com/mozilla/rust"><img style="position: absolute; top: 0; right: 0; border: 0;" src="https://s3.amazonaws.com/github/ribbons/forkme_right_red_aa0000.png" alt="Fork me on GitHub"></a>-->
 
   <div class="container">
     <div class="row">
@@ -55,6 +55,7 @@
           </li>
 	  <li class="menu-header">Other resources
 	    <ul>
+              <li><a href="http://github.com/mozilla/rust">GitHub</a></li>
               <li>
 		<a href="http://chat.mibbit.com/?server=irc.mozilla.org&channel=%23rust">IRC</a>
 		(<a href="http://irclog.gr/#browse/irc.mozilla.org/rust">logs</a>)
