Use more descriptive title

trossi · trossi · commit d01808198452 · 2026-02-13T11:19:42.000+02:00
diff --git a/.github/workflows/pages-deploy.yml b/.github/workflows/pages-deploy.yml
@@ -99,7 +99,7 @@ jobs:
             <script>
               window.location.replace('./main/');
             </script>
-            <title>Redirecting</title>
+            <title>CSC Summer School in High-Performance Computing</title>
           </head>
           <body>
             <p>Redirecting to <a href="./main/">main</a></p>
