From 9ad64fbe9eb794a4696bf18e623a63a325e53bc9 Mon Sep 17 00:00:00 2001
From: Alessandro Pignotti <a.pignotti@sssup.it>
Date: Mon, 22 Jul 2024 10:42:02 +0200
Subject: [PATCH] Get rid of Google Tag Manager

We have migrated to plausible long ago
---
 index.html | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/index.html b/index.html
index f661864..2a5ef72 100644
--- a/index.html
+++ b/index.html
@@ -354,15 +354,6 @@ __      __   _  __   ____  __
 	}
 	loadCX();
     </script>
-<!-- Google tag (gtag.js) -->
-<script defer src="https://www.googletagmanager.com/gtag/js?id=G-818T3Y0PEY"></script>
-<script defer>
-  window.dataLayer = window.dataLayer || [];
-  function gtag(){dataLayer.push(arguments);}
-  gtag('js', new Date());
-
-  gtag('config', 'G-818T3Y0PEY');
-</script>
   </body>
 </html>