[website] move IRC to Libera.chat

Summary: Freenode.net has changed ownership and many communities are moving to Libera.chat as a result. Reviewed By: ngorogiannis Differential Revision: D28708298 fbshipit-source-id: 4395adc55
facebook · May 26, 2021 · f624fc1 · f624fc1
1 parent 98c0419
commit f624fc1
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/website/docs/support.md b/website/docs/support.md
@@ -26,7 +26,7 @@ Keep up to date with the latest Infer news on our
 
 ### IRC
 
-Our IRC channel is [#infer](irc://chat.freenode.net/infer) on Freenode.net.
+Our IRC channel is [`#infer`](irc://irc.libera.chat/infer) on [Libera Chat](https://libera.chat/).
 
 ## Troubleshooting
 

diff --git a/website/versioned_docs/version-1.0.0/support.md b/website/versioned_docs/version-1.0.0/support.md
@@ -26,7 +26,7 @@ Keep up to date with the latest Infer news on our
 
 ### IRC
 
-Our IRC channel is [#infer](irc://chat.freenode.net/infer) on Freenode.net.
+Our IRC channel is [`#infer`](irc://irc.libera.chat/infer) on [Libera Chat](https://libera.chat/).
 
 ## Troubleshooting
 

diff --git a/website/versioned_docs/version-1.1.0/support.md b/website/versioned_docs/version-1.1.0/support.md
@@ -26,7 +26,7 @@ Keep up to date with the latest Infer news on our
 
 ### IRC
 
-Our IRC channel is [#infer](irc://chat.freenode.net/infer) on Freenode.net.
+Our IRC channel is [`#infer`](irc://irc.libera.chat/infer) on [Libera Chat](https://libera.chat/).
 
 ## Troubleshooting