Deal with multiple git identities

.envrc

export GIT_SSH_COMMAND="ssh -o IdentitiesOnly=yes -i ~/.ssh/id_ed25519_example -F /dev/null"
export GIT_AUTHOR_NAME='example'
export GIT_AUTHOR_EMAIL='example@gmail.com'
export GIT_COMMITTER_NAME='example'
export GIT_COMMITTER_EMAIL='example@gmail.com'
ssh-add -l | grep example || ssh-add ~/.ssh/id_ed25519_example

README.md

The solution

This .envrc file ( https://direnv.net/ ) can be used to temporarily override git settings so that only the specified identity is used for committing and pushing to a git server.

Other alternatives

An alternative way to achieve the same effect is to use different ssh Host, but requires modifying the git remote urls. See https://superuser.com/questions/232373/how-to-tell-git-which-private-key-to-use