Host alps
    HostName 10.88.0.1
    User git
    IdentityFile ~/.ssh/id_ed25519
    IdentitiesOnly yes
    StrictHostKeyChecking yes
    Port 2222
    ProxyCommand none

Host github
    HostName github.com
    User git
    IdentityFile ~/.ssh/id_ed25519
    IdentitiesOnly yes
    StrictHostKeyChecking yes
    ProxyCommand none

Host *
    ProxyCommand /bin/false