Discussions are archived, use the Zulip instead #303
mwillsey
announced in
Announcement
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Github currently lacks an "archive" feature for Discussions, so we'll just leave these here for now.
Please use the EGRAPHS Zulip for future discussion!
Beta Was this translation helpful? Give feedback.
All reactions