I\'m trying configure ssh proxy in a docker image. So I want to add a file to ~/.ssh that looks like this:
host github.com hostname ssh.github.com por