I notice that five different buildfarm members are about to slide off
the HEAD list for not having reported in within a month. Do we have any
process for pestering their owners to revive them? If the hardware went
south, or there was some other deliberate decision to retire them,
that's fine --- I'm just wondering if the owners don't realize they're
busted.
regards, tom lane
