From ac10150b08e7bc669b3cdbf8c8e0cdb248e19483 Mon Sep 17 00:00:00 2001
From: Marco Malavolti <marco.malavolti@garr.it>
Date: Wed, 7 Aug 2024 17:39:01 +0200
Subject: [PATCH] Add Technical Site link

---
 web/header.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/web/header.php b/web/header.php
index 478dbf2..30ec817 100644
--- a/web/header.php
+++ b/web/header.php
@@ -35,6 +35,7 @@
                 </div>
                 <div id="help_nav_section" class="et-menu-holder">
                     <ul class="et-menu et-right">
+                        <li class="et-option no-children"><a href="https://technical.edugain.org/">eduGAIN Technical Site</a></li>
                         <li class="et-option no-children"><a href="https://wiki.geant.org/display/eduGAIN/">eduGAIN Wiki</a></li>
                         <li class="et-option no-children"><a href="https://edugain.org">eduGAIN Site</a></li>
                     </ul>
-- 
GitLab