Hi Luis,

On Wed, 2022-11-02 at 13:29 +0000, Luis Machado wrote:
> Our arm64 server is going down for maintenance/moving on Nov 13st
> through the week afterwards.
> 
> I think it would be nice to disable it in the buildbot server so we
> don't keep generating errors
> whilst it is offline. Is there a way we can do that?

I have applied the attached patch. We just revert that once it comes
online again.

Cheers,

Mark