Although HEAD builds seem to still be happy, all back branches havebeen failing with git errors for the last six hours or so. Who brokewhat?
regards, tom lane