Magnus Hagander <magnus@hagander.net> writes:
> On Tue, Dec 29, 2020 at 1:37 AM Michael Paquier <michael@paquier.xyz> wrote:
>> Magnus, do I have an access to that? This is the second time I am
>> crossing an issue with this issue, but I don't really know if I should
>> act on it or not :)
> No, at this point it's just Tom (who has all the commits) and me (who set
> it up, and now has one commit). It's all manually handled.
FTR, I have no objection to Michael (or any other PG committer) having
write access to that repo. I think so far it's a matter of nobody's
bothered because there's so little need.
regards, tom lane