From 42c1d3280fd9a196b1c07893360ac22f9acff381 Mon Sep 17 00:00:00 2001
From: Tom Hubrecht <tom.hubrecht@dgnum.eu>
Date: Tue, 2 Apr 2024 14:32:35 +0200
Subject: [PATCH] feat(web01): Deploy tuteurs.ens.fr on our infra

---
 machines/web01/static/npins/sources.json | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/machines/web01/static/npins/sources.json b/machines/web01/static/npins/sources.json
index 0db698c..bd9a6bb 100644
--- a/machines/web01/static/npins/sources.json
+++ b/machines/web01/static/npins/sources.json
@@ -76,6 +76,17 @@
       "revision": "735e56edee3b8a74c6d77463b6535308ac85c7b1",
       "url": null,
       "hash": "0mbk3r2r4r4z1vzddizbf59mm5r2f0ikis0scyfc6qpb4lr78msy"
+    },
+    "tuteurs.ens.fr": {
+      "type": "Git",
+      "repository": {
+        "type": "Git",
+        "url": "https://git.dgnum.eu/DGNum/tuteurs.ens.fr.git"
+      },
+      "branch": "main",
+      "revision": "e0dd20c1bbb3413af4728171c96d27e7ccf155f1",
+      "url": null,
+      "hash": "0ms24wv017b44w900zdbnqlx6ndigrn952hjkxxf61xspsjxpglx"
     }
   },
   "version": 3