AddKeysToAgent yes
ForwardAgent yes
HostKeyAlgorithms +ssh-rsa
HostKeyAlgorithms +ssh-dss
PubkeyAcceptedKeyTypes +ssh-rsa
PubkeyAcceptedKeyTypes +ssh-dss
IdentityFile ~/.ssh/dma-key
ServerAliveInterval 60

Host github.com
    Hostname ssh.github.com
    Port 443
    User git