# >>> ANPASSEN: frei wählbarer Alias, mit dem du dich verbindest (z. B. ssh forgejo)
Host <HOST_ALIAS_ANPASSEN>
    # >>> ANPASSEN: echte Server-Adresse oder IP
    HostName <HOSTNAME_ANPASSEN>
    Port 2222
    User git
    IdentityFile /home/runner/workspace/.ssh/id_ed25519_forgejo
    StrictHostKeyChecking no
Host forgejo-skillguard.a42i.de
    HostName forgejo-skillguard.a42i.de
    Port 2222
    User git
    IdentityFile /home/runner/workspace/.ssh/id_ed25519_forgejo
    StrictHostKeyChecking no