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