>>>>> "Bernardo" == Bernardo Innocenti <bernie@codewiz.org> writes: Bernardo> If people think it would be useful, we could install a commit Bernardo> hook on gcc.gnu.org to mirror each commit immediately. It would be great! Sam -- Samuel Tardieu -- sam@rfc1149.net -- http://www.rfc1149.net/