> 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
