Update git config stuff

roles/config/files/.gitconfig

@@ -13,10 +13,10 @@
 #    sort = -committerdate
 #[tag]
 #    sort = taggerdate
-[gitlab]
-    user = exu
-[github]
-    user = exu
+# [gitlab]
+#     user = exu
+# [github]
+#     user = exu
 [alias]
     # use like this: git mr [REPO] [MERGE REQUEST]
     # see https://stackoverflow.com/a/50834005 (GitLab)
@@ -25,3 +25,6 @@
     pr = !sh -c 'git fetch -fu $1 refs/pull/$2/head:pr-$1-$2 && git checkout pr-$1-$2' -
     # checkout latest tag
     latest = !sh -c 'git describe --tags $(git rev-list --tags --max-count=1) | xargs git checkout' -
+# conditonal config
+[includeIf "gitdir:**/occ/**"]
+    path = ~/.gitconfig-occ

roles/config/files/.ssh/config

@@ -6,9 +6,12 @@ Host gitlab.com
 Host github.com
 	IdentityFile /home/exu/.ssh/id_ed25519_git
 
-# Private gitea
 Host gitea.exu.li
 	IdentityFile /home/exu/.ssh/id_ed25519_git
 
 Host aur.archlinux.org
 	IdentityFile /home/exu/.ssh/id_ed25519_git
+
+Host git.open-circle.ch
+	IdentityFile /home/exu/.ssh/id_ed25519_git
+	AddressFamily inet