Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Drop IRC channel info #37

Merged
merged 1 commit into from
Apr 1, 2022
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 0 additions & 3 deletions layouts/partials/home.html
Original file line number Diff line number Diff line change
Expand Up @@ -83,8 +83,6 @@ <h2>What is angr?</h2>
<h2>How do I use angr?</h2>
<p>angr installs through pip! We recommend installing it in a virtualenv:</p>
{{ highlight .Site.Data.install.pip "" "" }}
<p>We also provide a docker container:</p>
{{ highlight .Site.Data.install.docker "" "" }}

<h2>How do I learn?</h2>
<p>There are a few resources you can use to help you get up to speed!</p>
Expand All @@ -102,7 +100,6 @@ <h2><a name="contact">How do I get involved (or get help)?</a></h2>

<ul>
<li>We primarily use slack for communication, at <a href="http://angr.slack.com">angr.slack.com</a>. You can get an invite <a href="/invite">here</a>.
<li>If you want real-time communication but absolutely refuse to use slack, you can hang out in <b>#angr</b> on <a href="https://freenode.net/">freenode</a>. Responsiveness here, realistically, is lower than on slack, unfortunately.
<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