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 Jan