From 032e3dbc8792e22c5140e7a315044bd31ba20d5b Mon Sep 17 00:00:00 2001
From: Benjamin Morrison <ben@gbmor.org>
Date: Wed, 19 Oct 2022 21:31:48 -0400
Subject: updated irc page with new connection info

---
 pages/irc.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pages/irc.md b/pages/irc.md
index ccea3f3..d425aec 100644
--- a/pages/irc.md
+++ b/pages/irc.md
@@ -11,9 +11,9 @@ chatting while logged on to tilde.institute, simply use the command
 `chat`! If you prefer to use a different IRC client than the default,
 such as `irssi`, the following server information will apply:
 
-* institute.tilde.chat
-* Port 6697
-* TLS / SSL
+* localhost
+* Port 6667
+* No TLS
 
 Don't forget to `/join #institute` and `/join #meta`.
 
-- 
cgit 1.4.1-2-gfad0