# Services
Host github.com gitlab.com git.uni-due.de git.ude-syssec.de
    Port 22
    User git
    IdentityFile /mnt/veracrypt1/git

Host git.ude-syssec.de
    Hostname git.ude-syssec.de

Host github.com 
    Hostname github.com

Host gitlab.com
    Hostname gitlab.com

Host git.uni-due.de
    HostName git.uni-due.de

Host git.tudattr.dev
    Hostname 192.168.20.34
    Port 2222
    User git
    IdentityFile /mnt/veracrypt1/git
    ProxyJump mii