SSH config for GitLab (#573)

Author: mfocko

.gitignore

@@ -13,5 +13,8 @@ secrets/fedora-source-git/stg/*
 !secrets/**/*.j2
 !secrets/**/ssh_config
 
+# Ignore any ‹dev› secrets
+secrets/*/dev/*
+
 # used in move_stable script
 move_stable_repositories

secrets/packit/prod/ssh_config

@@ -1,5 +1,14 @@
 Host pkgs.fedoraproject.org
-    Hostname pkgs.fedoraproject.org
     User packit
+    Hostname pkgs.fedoraproject.org
+
+    IdentitiesOnly yes
     IdentityFile /home/packit/.ssh/id_ed25519
+
+# Used for the CentOS and CentOS SIGs' dist git repositories
+Host gitlab.com
+    User git
+    Hostname gitlab.com
+
     IdentitiesOnly yes
+    IdentityFile /home/packit/.ssh/id_ed25519

secrets/packit/stg/ssh_config

@@ -1,5 +1,14 @@
 Host pkgs.fedoraproject.org
-    Hostname pkgs.fedoraproject.org
     User packit-stg
+    Hostname pkgs.fedoraproject.org
+
+    IdentitiesOnly yes
     IdentityFile /home/packit/.ssh/id_ed25519
+
+# Used for the CentOS and CentOS SIGs' dist git repositories
+Host gitlab.com
+    User git
+    Hostname gitlab.com
+
     IdentitiesOnly yes
+    IdentityFile /home/packit/.ssh/id_ed25519