git different key/account/user
git config core.sshCommand “ssh -i ~/.ssh/some_key -F /dev/null” or ssh-agent bash -c ‘ssh-add ~/.ssh/some_key; git pull git@some.server:some/repo.git’ and git config user.name “UserName” git config user.email “userNameEmail@someWhereIn.net” ~/.ssh/config Host github.public HostName github.com IdentityFile ~/.ssh/id_ed25519 Host github.personal…