From 80ca4037de663dbbef2421942f781d3303d68558 Mon Sep 17 00:00:00 2001
From: Tom Hubrecht <tom@hubrecht.ovh>
Date: Wed, 20 Dec 2023 15:02:08 +0100
Subject: [PATCH] fix(redirections): Declare retired.dgnum.eu to be the default
 host

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

diff --git a/machines/web01/redirections.nix b/machines/web01/redirections.nix
index 96bab1d..0558a3d 100644
--- a/machines/web01/redirections.nix
+++ b/machines/web01/redirections.nix
@@ -30,6 +30,8 @@ in {
       forceSSL = true;
 
       root = "${sources.dgnum-retired.outPath}/www";
+
+      default = true;
     };
   } // (builtins.mapAttrs (host:
     { to, ssl ? false }: {