[coreboot] Re: Build server maintenance on Saturday, Dec 2

[Felix Singer]

Finished the planned maintenance on the builders Bob, Muck, Pickles and
Pilchard. They are back online.

Since there doesn't seem to be much traffic on Gerrit today, and while
on it, I'm going to take the builders Roley and Scoop for another
maintenance offline as well.

On Sat, 2023-12-02 at 10:58 +0000, Felix Singer wrote:
> The maintenance starts now.
>
> On Fri, 2023-12-01 at 08:43 +0000, Felix Singer wrote:
> > I will do a maintenance on some build servers this Saturday, Dec 2.
> > You might experience long waiting times for builds.
> >
> > The maintenance is scheduled for 12pm UTC+1 and it's expected to be
> > finished at 4pm UTC+1.