> 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.
I guess so too. I only see pgpool related repositories but
postgres.git on https://git.postgresql.org/adm/. According to Magnus,
this is necessary to trigger replication of SSH key.
> 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.
Thank you for the info. I will be careful when I want to change SSH
key for gitmaster next time.
Best reagards,
--
Tatsuo Ishii
SRA OSS, Inc. Japan
English: http://www.sraoss.co.jp/index_en.php
Japanese:http://www.sraoss.co.jp