Re: [PATCH] status: default in-progress color to header color

Jeff King [off-list ref] writes:

But given that this is not even configurable in the current code, I
really wonder if it needs to have its own color at all. Do people really
want to set the color of this message separately? Maybe we should just
use WT_STATUS_HEADER instead.

I would prefer that myself, but let's see if Matthieu's folks have
opinions on this or something you and I overlooked.

Thanks.