[PATCH 1/6] Documentation: user: introduction: update with lore/matrix/libera info

[Ahmad Fatoum]

The Website already points at Libera instead of Freenode. Update the
intro section, so the docs are correct as well.

While at it, mention lore and matrix.

Signed-off-by: Ahmad Fatoum <a.fatoum at pengutronix.de>
---
 Documentation/user/introduction.rst | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

diff --git a/Documentation/user/introduction.rst b/Documentation/user/introduction.rst
index 8a980a70abc7..523fe288f9fe 100644
--- a/Documentation/user/introduction.rst
+++ b/Documentation/user/introduction.rst
@@ -24,6 +24,15 @@ discussion of barebox takes place here:
 
 http://lists.infradead.org/mailman/listinfo/barebox/
 
-There's also an IRC channel:
+Mails sent to the barebox mailing list are archived on
+`lore.barebox.org <https://lore.barebox.org/barebox/>`_.
 
-IRC: #barebox (Freenode)
+Patch series sent there can be fetched with `b4 <https://pypi.org/project/b4/>`_ ::
+
+   git config b4.midmask https://lore.barebox.org/%s
+   git config b4.linkmask https://lore.barebox.org/%s
+   b4 am https://lore.barebox.org/$messageid # replace with link
+
+There's also an IRC channel, which is
+`bridged to Matrix  <https://app.element.io/#/room/#barebox:matrix.org>`_:
+#barebox on Libera Chat
-- 
2.30.2