Bom, qdo vou dar push no github está indo com outro user e tenho q mudar a chave padrao manualmente para ir o usuário correto, como tu gerencia isso?
Discussion
Configura isso em .git/config você pode alter diretamente tudo, o aquivo config do seu repositório git vai ter algo como:
[user]
name = seu user namne
email = seu email
[core]
sshCommand = ssh -i /caminho/id_sra
Em sshCommand você coloca o caminho da chave e no demais as informações do usuário.
Legal, acho q faltou esse sshCommand!
Não conhecia essa configuração (por usuário). Sempre faço minhas configurações difrente para cada server remoto (por host).
Desculpa, confundi o config do ssh com o config do git 😆
É para configurar local, não global 🐸
Parece mais trabalhoso, eu sempre configurei assim direto no repositório, até porque as aplicações que tenho rodo tudo na mesma máquina, um notebook que quebrou a tela mas é muito bom kkkk i5 de 8th com 32gb de RAM.