From e4eab5f027d2ae522c24a4c86da2b9f3b8f465be Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Thu, 2 Oct 2025 13:28:07 +0200
Subject: [PATCH] Fetch website from its own git repository

---
 m/tent/nginx.nix | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/m/tent/nginx.nix b/m/tent/nginx.nix
index 731b011f..45686905 100644
--- a/m/tent/nginx.nix
+++ b/m/tent/nginx.nix
@@ -2,10 +2,13 @@
 let
   website = pkgs.stdenv.mkDerivation {
     name = "jungle-web";
-    src = theFlake;
+    src = pkgs.fetchgit {
+      url = "https://jungle.bsc.es/git/rarias/jungle-website.git";
+      rev = "739bf0175a7f05380fe7ad7023ff1d60db1710e1";
+      hash = "sha256-ea5DzhYTzZ9TmqD+x95rdNdLbxPnBluqlYH2NmBYmc4=";
+    };
     buildInputs = [ pkgs.hugo ];
     buildPhase = ''
-      cd web
       rm -rf public/
       hugo
     '';