This is the mail archive of the gdb@sourceware.org mailing list for the GDB project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: How often is the git repository is updated?


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


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]