It’s sometimes necessary to execute one git command with a special SSH key rather that the one you’re running with (for example on a remote console). This can be easily done by using…