Noah Misch <n...@leadboat.com> writes:
> On Mon, Jan 18, 2021 at 09:29:53PM +0100, Fabien COELHO wrote:
>> ... Last two months were a
>> little overworked for me so I let slip quite a few things. If you want to
>> disable the animal as Tom suggests, do as you want.
> Perhaps he was suggesting that you (buildfarm owner) disable the cron job that
> initiates new runs. That's what I do when one of my animals needs my
> intervention.
Indeed. I'm not sure there even is a provision to block an animal on the
buildfarm-server side. If there is, you'd have to request that it be
manually undone after you get around to fixing the animal. Frankly,
if I were the BF admin, I would be in about as much hurry to do that
as you've been to fix it.
regards, tom lane
