On 11 Jan 2023 09:36, Joel Brobecker wrote:
> We can do a quick announcement on gdb-patches@, to let people
> know, but other than that, it's a pretty limited audience for
> this repository. Perhaps it'll encourage people to participate
> in improving it.

on that note, what is the policy for merging changes ?  akin to other
projects where there's maintainers & write-after-approval ?  i can
write up a quick MAINTAINERS doc for the repo.
-mike