Adding the update interval of the official git mirror repository.

diff --git a/current/index.html b/current/index.html
index b84931abb78b69051b7c3d03e17dd1c8496c5dc7..d91de8d4e2af6ed6830b1590b7f3f258e7b80155 100644 (file)
--- a/current/index.html
+++ b/current/index.html
@@ -155,8 +155,9 @@ cvs -d :ext:YOURACCOUNT@sourceware.org:/cvs/src co gdb
 
 A read-only git mirror of GDB's repository is also available.
 This repository is not a real-time mirror, but is automatically
-resynchronized at regular intervals. To get a copy of that
-repository, use the following command:
+resynchronized at regular intervals, currently every 30 minutes.
+
+To get a copy of that repository, use the following command:
 
 <pre>
 git clone git://sourceware.org/git/gdb.git