1 files changed, 1 insertions, 0 deletions

diff --git a/accounts/gkleen@sif/ssh-hosts.nix b/accounts/gkleen@sif/ssh-hosts.nix
index 66811788..7bd6bdfe 100644
--- a/accounts/gkleen@sif/ssh-hosts.nix
+++ b/accounts/gkleen@sif/ssh-hosts.nix
@@ -190,6 +190,7 @@
     };
   "gitlab-ce.lrz.de" =
     { hostname = "gitlab-ce.lrz.de";
+      extraOptions.AddressFamily = "inet";
       user = "git";
       identityFile = "~/.ssh/gkleen@gitlab-ce.lrz.de";
     };