[aur-general] Issue when changing hostname in ~/.ssh/config

[Marcel Korpel]

Hi,

As described in the proposal to the notification I changed the hostname
in ~/.ssh/config so that that file now reads:

Host aur4.archlinux.org
IdentityFile ~/.ssh/id_rsa-aur
User aur
Port 22

And I tried to pull from and push to that server from an existing
aur-dev repository. However, that failed with:

Permission denied (publickey).
fatal: Could not read from remote repository.

My public key is correctly filled in the account settings, so I guess
that the issue is due to the change of the host name. It could be me
doing something wrong, but this issue may pop up again after changing
from aur4.archlinux.org to aur.archlinux.org.

Best,
Marcel