From 66cd21625a9167d0192095caa799e3aee8ced911 Mon Sep 17 00:00:00 2001
From: mborgerson <contact@mborgerson.com>
Date: Tue, 12 Nov 2024 14:12:28 -0700
Subject: [PATCH] Use http://discord.angr.io for Discord invite

---
 layouts/partials/home.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/layouts/partials/home.html b/layouts/partials/home.html
index 4ed4110..4e12fa4 100644
--- a/layouts/partials/home.html
+++ b/layouts/partials/home.html
@@ -162,7 +162,7 @@ <h2><a name="contact">Community</a></h2>
     <p>There are a few resources you can use to help you get up to speed or get you contributing to the project!</p>
 
       <ul>
-        <li>We are moving to discord for communication! Join us at <a href="https://discord.gg/Pdxp7Z8ThY">https://discord.gg/Pdxp7Z8ThY</a>.
+        <li>Chat with us on the <a href="http://discord.angr.io">angr Discord server</a>.
         <li>You can file an issue or send us a PR on <a href="https://github.com/angr">github</a> in the appropriate repo.
         <li>If you prefer email, and don't mind longer response times, shoot an email to angr-at-lists.cs.ucsb.edu. This is a <b>public</b> mailing list (to which you can subscribe <a href="https://lists.cs.ucsb.edu/mailman/listinfo/angr">here</a>).
     </ul>