chore: move out user roles

Signed-off-by: Matej Focko <me@mfocko.xyz>

roles/ssh/files/ssh_config

@@ -0,0 +1,71 @@
+# By default use the FIDO2 key from Yubikey
+IdentityFile ~/.ssh/id_ed25519_sk
+
+# Deny authentication via Kerberos by default
+GSSAPIAuthentication no
+
+# PIV secrets, disabled by default
+PKCS11Provider none
+# PKCS11Provider libykcs11.so.2
+
+# Needs to be done for using the SSH key from GnuPG via Yubikey
+Match Host * exec "gpg-connect-agent UPDATESTARTUPTTY /bye"
+
+# Public
+Host github.com
+    User        git
+    Hostname    github.com
+
+Host gitlab.com
+    User        git
+    Hostname    gitlab.com
+
+Host git.sr.ht
+    User        git
+    Hostname    git.sr.ht
+
+Host codeberg.org
+    User        git
+    Hostname    codeberg.org
+
+# FI
+Host gitlab.fi.muni.cz
+    User        git
+    Hostname    gitlab.fi.muni.cz
+
+Host aisa anxur pontos0?
+    GSSAPIAuthentication    yes
+    User                    xfocko
+    Hostname                %h.fi.muni.cz
+
+Host nymfe*
+    GSSAPIAuthentication    yes
+    User                    xfocko
+    ProxyJump               xfocko@aisa.fi.muni.cz
+    Hostname                %h.fi.muni.cz
+
+# Private
+Host poincare
+    User        mfocko
+    Hostname    mfocko.xyz
+    Port        22022
+
+Host git.mfocko.xyz
+    User        git
+    Hostname    git.mfocko.xyz
+    Port        2222
+
+Host gitlab.mfocko.xyz
+    User        git
+    Hostname    gitlab.mfocko.xyz
+    Port        10023
+
+Host mountainside
+    User        mfocko
+    Hostname    mountainside.mfocko.xyz
+    Port        22022
+
+Host git.maxwell.mfocko.xyz
+    User        git
+    Hostname    git.maxwell.mfocko.xyz
+    Port        22022