[Python-Dev] robots exclusion file on the buildbot pages?

["Martin v. Löwis"]

> I caused a few of those myself yesterday updating my PPC buildbots.
> 
> Apologies!

No need to apologize! these are not the ones Antoine is talking about.
By convention, filling out the "Your name" field in a web build is
recommended, so people know that this was an intentional build. I
usually also fill out a reason.

Regards,
Martin