git mirror at infradead?

[Ralf Wildenhues]

Hello Bernardo,

sorry if this is not an official mirror of the GCC tree, but
<git://git.infradead.org/toolchain/gcc.git> has not been updated since
June 1.  Any chance you (or whoever is responsible) could look into it?

Thanks!
Ralf