Você poderia matar o ssh-agent, mas isso impediria que você recarregasse o production-infrastructure.pem (já que você não parece estar disponível localmente) depois que você terminar.
Como alternativa, você pode usar a variável de ambiente $ GIT_SSH para especificar o programa que o git deve usar para o ssh. Você precisa criar um novo script de shell com as duas linhas a seguir:
#!/bin/bash
ssh -i /home/vagrant/.ssh/id_rsa $*
Eu salvaria isso como ~ / bin / githubssh com o modo 555. (Isto é infelizmente necessário porque o git não faz análise de argumentos na variável de ambiente GIT_SSH, ele tenta colocar a coisa toda em argv [0] quando ela vai para executar o programa SSH.)
Então, quando for a hora de fazer o checkout:
$ GIT_SSH=~/bin/githubssh git clone [email protected]:v6/myrepo.git
Isto irá definir a variável de ambiente GIT_SSH apenas para o comando git.