Add an option like for the Use global git credentials, but for SSH keys as users may use multiple servers with different keys.
Add an option like for the Use global git credentials, but for SSH keys as users may use multiple servers with different keys.