This is the mail archive of the
mailing list for the GDB project.
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:
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.