Add repo size message to public repo pageHEADmaster

1 files changed, 9 insertions, 3 deletions

diff --git a/public-repository/index.html b/public-repository/index.html
index 169c054..c9b0767 100644
--- a/public-repository/index.html
+++ b/public-repository/index.html
@@ -48,10 +48,16 @@ git clone http://www.cs.unc.edu/~anderson/litmus-rt/public-repository/litmus.git
 git clone http://www.cs.unc.edu/~anderson/litmus-rt/public-repository/liblitmus.git
 </pre>
         <p class="nobottommargin">
-    Please contact the <a href="../index.html#collaborators">current maintainer</a> if you 
-    have any questions.
+        Note that the <tt>litmus.git</tt> repository contains a large portion of the
+        Linux kernel repository, and will take some time to download. It is 1.1 GB in
+        size as of February, 2011.
+    </p>
+
+    <p class="nobottommargin">
+        Please contact the <a href="../index.html#collaborators">current maintainer</a> if you
+        have any questions.
     </p>
     </div>
 
   </body>
-</html>
\ No newline at end of file
+</html>