This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: How often is the git repository is updated?
- From: Sergio Durigan Junior <sergiodj at redhat dot com>
- To: Jan Kratochvil <jan dot kratochvil at redhat dot com>
- Cc: Gyula Gubacsi <gyula dot gubacsi at gmail dot com>, GDB Patches <gdb-patches at sourceware dot org>, Joel Brobecker <brobecker at adacore dot com>
- Date: Tue, 14 Aug 2012 15:27:10 -0300
- Subject: Re: How often is the git repository is updated?
- References: <CAAL+MW90pUfE2_vs793ogZz=Wki_W65mCB=HoeZMDk3L2iLjSg@mail.gmail.com> <20120814111930.GA11949@host2.jankratochvil.net> <m3r4r9z64x.fsf@redhat.com>
On Tuesday, August 14 2012, I wrote:
> On Tuesday, August 14 2012, Jan Kratochvil wrote:
>
>> On Tue, 14 Aug 2012 13:14:07 +0200, Gyula Gubacsi wrote:
>>> Read-only git section it is stated that the git mirror is updated
>>> regularly. How often I wonder? Wouldn't be a bit more precise to state
>>> the actual time interval?
>>
>> 30 minutes, see:
>> http://sourceware.org/ml/gdb/2009-10/msg00363.html
>
> I always thought it was 15 minutes. Anyway, I agree with Gyula, it
> would be good to provide this info on the page. I will send a patch to gdb-patches.
Here it is. Joel, I guess you are the responsible for the web pages,
right? It this OK for pushing to htdocs repo?
Thanks,
--
Sergio
Index: current/index.html
===================================================================
RCS file: /cvs/gdb/htdocs/current/index.html,v
retrieving revision 1.43
diff -u -p -r1.43 index.html
--- current/index.html 7 May 2009 14:45:33 -0000 1.43
+++ current/index.html 14 Aug 2012 18:25:07 -0000
@@ -155,8 +155,9 @@ cvs -d :ext:YOURACCOUNT@sourceware.org:/
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