From 2047ae83e1402f724e6b0c3fa831c45fdb5cf65c Mon Sep 17 00:00:00 2001
From: Alessandro Pignotti <a.pignotti@sssup.it>
Date: Tue, 9 May 2023 11:45:06 +0200
Subject: [PATCH] Fix links

---
 index.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/index.html b/index.html
index 0d0c0d0..482afb5 100644
--- a/index.html
+++ b/index.html
@@ -75,13 +75,13 @@ __      __   _  __   ____  __
                     <img src="assets/tailscale.svg" height="40px" style="margin-left: 7px;">
                   </div>
                 </a>
-                <a href="https://discord.com/invite/3nAYPEGD" style="text-decoration: none; height: 100%;" target="_blank">
+                <a href="https://discord.gg/yTNZgySKGa" style="text-decoration: none; height: 100%;" target="_blank">
                   <div style="color: white; font-family: montserrat; font-weight: 400; font-size: large; height: 100%; display: flex; align-items: center;">
                     <span>Join Discord </span>
                     <img src="assets/discord-mark-blue.svg" height="40px" style="margin-left: 7px;">
                   </div>
                 </a>
-                <a href="https://www.leaningtech.com/pages/cheerpj.html" style="text-decoration: none; height: 100%;" target="_blank">
+                <a href="https://github.com/leaningtech/webvm/issues" style="text-decoration: none; height: 100%;" target="_blank">
                   <div style="color: white; font-family: montserrat; font-weight: 400; font-size: large; height: 100%; display: flex; align-items: center;">
                     <span>GitHub Issues </span>
                     <img src="assets/github-mark-white.svg" height="40px" style="margin-left: 5px;">