How often is the git repository is updated?

Sergio Durigan Junior sergiodj@redhat.com
Tue Aug 14 18:22:00 GMT 2012


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.

-- 
Sergio



More information about the Gdb mailing list