Re: gitmaster access

On Thu, May 12, 2022 at 10:34:49AM +0900, Tatsuo Ishii wrote:
> Last year we faced a similar problem, namely, a new committer for
> pgpool.git could not access the git repository (Permission denied
> (publickey)). Magnus kindly advised following and it worked. Hope this
> helps.
>
> > 1. Log into the git server on https://git.postgresql.org/adm/. It
> > should be an automatic log in and show the repository.
> > 2. *then* go back to the main website and delete the ssh key
> > 3. Now add the ssh key again on the main website
> > 4. Wait 10-15 minutes and then it should work

I don't see any repositories listed for my login, so I wonder if
gitmaster and pgpool are handled differently. When I changed my SSH key
for gitmaster recently, I had to phone someone to verify the change ---
I could not do it via a website.

--
Bruce Momjian <bruce(at)momjian(dot)us> https://momjian.us
EDB https://enterprisedb.com

Indecision is a decision. Inaction is an action. Mark Batterson