On Wed, May 19, 2021 at 03:35:00PM -0400, Tom Lane wrote:
> Magnus Hagander <magnus(at)hagander(dot)net> writes:
>> Changing that to look globally can certainly be done. It takes a bit
>> of work I think, as there are no API endpoints today that will do
>> that, but those could be added.
>
> Ah. Personally, I'd settle for it checking -hackers, -docs and -bugs.
> Perhaps there's some case for -general as well.
FWIW, I have seen cases for -general in the past.
--
Michael