Jeremy, could you please give it a look and if possible get it fixed?
I suppose the easiest must be to reclone the repository.
Andrew, in the meantime, could you please teach other buildfarm admins
how to disable specific buildfarm members from reporting? (Jeremy, if
we end up doing this, please let us know when you've cured your animal
so that we re-enable reporting afterwards.)