At Thu, 12 May 2022 10:34:49 +0900 (JST), Tatsuo Ishii <ishii@sraoss.co.jp> wrote in
> 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
Thank you for the info, but unfortunately it hasn't worked.
I'm going to try a slightly different steps..
regards.
--
Kyotaro Horiguchi
NTT Open Source Software Center