Skip to content

Commit

Permalink
Use http://discord.angr.io for Discord invite
Browse files Browse the repository at this point in the history
  • Loading branch information
mborgerson committed Nov 12, 2024
1 parent 8150097 commit 8a85ad2
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion layouts/partials/home.html
Original file line number Diff line number Diff line change
Expand Up @@ -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>
Expand Down

0 comments on commit 8a85ad2

Please sign in to comment.