From fad33986d61e84ea426e7155cd54c75816c6bf26 Mon Sep 17 00:00:00 2001
From: Christopher Kenna <cjk@cs.unc.edu>
Date: Fri, 4 Feb 2011 10:30:17 -0500
Subject: Add repo size message to public repo page

---
 public-repository/index.html | 12 +++++++++---
 1 file 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>
-- 
cgit v1.2.2