On Wed, 11 May 2022 at 09:25, Kyotaro Horiguchi <horikyota....@gmail.com> wrote:
> At Wed, 11 May 2022 09:08:26 +0100, Dave Page <dp...@pgadmin.org> wrote > in > > What is your community user ID? > > My community user name is "horiguti". > OK, so you have write access on the repo on git.postgresql.org, but I can't find an SSH key for your account on the system. Can you check https://www.postgresql.org/account/profile/ and make sure you've got the correct SSH key in your profile? If you add one, it might take 10 minutes or so to make its way to the git server. -- Dave Page Blog: https://pgsnake.blogspot.com Twitter: @pgsnake EDB: https://www.enterprisedb.com
