Fix redundant SSH configs for git servers

Author: AgenttiX

ssh/config.d/git.conf

@@ -15,5 +15,14 @@ Host github github.com
 Host gitlab gitlab.com
     HostName gitlab.com
 
-Host version.helsinki.fi
-    HostName version.helsinki.fi
+# These configurations are redundant, as they don't define anything new.
+
+# ESA GitLab does not support SSH access from the internet.
+# https://gitlab.esa.int/esait/gitlab/-/wikis/Switching-from-git-over-ssh-to-git-over-https
+# Instead, it requires a Personal Access Token (PAT).
+# https://gitlab.esa.int/esait/gitlab/-/wikis/credentials-git-over-https
+# Host gitlab.esa.int
+#     HostName gitlab.esa.int
+
+# Host version.helsinki.fi
+#     HostName version.helsinki.fi