From 317cdf4abdbd246b7673a3d477301eea42871435 Mon Sep 17 00:00:00 2001
From: Tom Hubrecht <tom.hubrecht@dgnum.eu>
Date: Tue, 2 Apr 2024 20:57:13 +0200
Subject: [PATCH] feat(web01): Add redirections

---
 machines/web01/redirections.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/machines/web01/redirections.nix b/machines/web01/redirections.nix
index 299f03a..6512a6e 100644
--- a/machines/web01/redirections.nix
+++ b/machines/web01/redirections.nix
@@ -37,6 +37,9 @@ let
     "rdv.dgnum.eu".to = "meet.dgnum.eu";
     "www.bda.ens.fr".to = "bda.ens.fr";
     "bda.wp.dgnum.eu".to = "bda.ens.fr";
+    "www.tuteurs.ens.fr".to = "tuteurs.ens.fr";
+    "www.interq.ens.fr".to = "interq.ens.fr";
+    "www.lanuit.ens.fr".to = "lanuit.ens.fr";
   };
 
   retired = mkSubs {