AddKeysToAgent  yes

Host brussels
        HostName 145.100.104.43
        User root

Host github.com
        HostName github.com
        User pizzapim
        IdentitiesOnly yes

Host max
        HostName max.dmz
        User root

Host lewis
        HostName lewis.hyp
        User root

Host hermes
        HostName hermes.dmz
        User root

Host atlas
        HostName atlas.hyp
        User root

Host jefke
        HostName jefke.hyp
        User root

Host maestro
        HostName maestro.dmz
        User root

# Default user
Host *
    User root