From 216efbbc42ae1464d197d64d056fc3f75b291314 Mon Sep 17 00:00:00 2001
From: Tom Hubrecht <tom@hubrecht.ovh>
Date: Wed, 20 Dec 2023 13:16:15 +0100
Subject: [PATCH] feat(redirections): Add services to the retired list

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

diff --git a/machines/web01/redirections.nix b/machines/web01/redirections.nix
index ddc4428..96bab1d 100644
--- a/machines/web01/redirections.nix
+++ b/machines/web01/redirections.nix
@@ -16,7 +16,12 @@ let
     value.to = retired_host;
   }) retired));
 
-  retired = [ "auth.rz.ens.wtf" "photos.ens.wtf" ];
+  retired = [
+    "auth.rz.ens.wtf"
+    "photos.ens.wtf"
+    "alevins.ens.fr"
+    "www.climatenavigator.ens.fr"
+  ];
 
 in {
   services.nginx.virtualHosts = {