diff --git a/nix/configurations/vanadium/home/dev.nix b/nix/configurations/vanadium/home/dev.nix
index 7cab99c4..ec2b7820 100644
--- a/nix/configurations/vanadium/home/dev.nix
+++ b/nix/configurations/vanadium/home/dev.nix
@@ -65,11 +65,11 @@
       map hasconfigRemoteCondition [
         # Univ stuff
         {
-          condition = "gitlab.istic.univ-rennes1.fr";
+          condition = "git@gitlab.istic.univ-rennes1.fr";
           contents = universityIdentity;
         }
         {
-          condition = "gitlab2.istic.univ-rennes1.fr";
+          condition = "git@gitlab2.istic.univ-rennes1.fr";
           contents = universityIdentity;
         }