From 3bede07e53864aeeaf0fac9c69f78b892c9b5244 Mon Sep 17 00:00:00 2001
From: Tom Hubrecht <tom.hubrecht@dgnum.eu>
Date: Tue, 2 Apr 2024 20:21:09 +0200
Subject: [PATCH] fix(web01): Use a version with a correct structure

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

diff --git a/machines/web01/static/npins/sources.json b/machines/web01/static/npins/sources.json
index bd9a6bb..3ede622 100644
--- a/machines/web01/static/npins/sources.json
+++ b/machines/web01/static/npins/sources.json
@@ -84,9 +84,9 @@
         "url": "https://git.dgnum.eu/DGNum/tuteurs.ens.fr.git"
       },
       "branch": "main",
-      "revision": "e0dd20c1bbb3413af4728171c96d27e7ccf155f1",
+      "revision": "5d6dff073d0ee1b22f993e049bd0af914c523d96",
       "url": null,
-      "hash": "0ms24wv017b44w900zdbnqlx6ndigrn952hjkxxf61xspsjxpglx"
+      "hash": "1hkpfpx3073738b3jd4fffgxmy6l0pkk4as8hyp748nbq1j62vi6"
     }
   },
   "version": 3