on command-line you can change your Git config for the current repository:
git config core.sshCommand "ssh -F ~/.ssh/system-a/config"
or in .git/config
in your local repository to the [core]
section:
sshCommand = "ssh -F ~/.ssh/system-a/config"
This works only with git 2.10 and newer. Otherwise, it needs to be set up using environment variable $GIT_SSH_COMMAND
, for example like:
GIT_SSH_COMMAND="ssh -F ~/.ssh/system-a/config" git pull