AddKeysToAgent yes Host brussels HostName brussels.studlab.os3.nl User pkunis Host github.com HostName github.com User pizzapim IdentitiesOnly yes Host max HostName max.lan User root Host lewis HostName lewis.lan User root Host forgejo HostName git.pim.kunis.nl Port 56287 User git