Hi Juan,
Thanks for referring me to it. I missed that there already is an open
pull request for that topic. However, that one only updates the
reference to "FreeNode" in the side panel on the Sphinx main page. I've
just created another pull request which also changes "irc.freenode.net"
to "irc.libera.chat" in the Contribution guide
<https://www.sphinx-doc.org/en/master/internals/contributing.html#getting-started>.
My pull request #9972 <https://github.com/sphinx-doc/sphinx/pull/9972>
refers to #9287 <https://github.com/sphinx-doc/sphinx/pull/9287> in the
details. It's automatically been inserted in the comments of #9287 as a
reference.
I think we can consider this topic as addressed and handed over to the
maintainers for approval.
Best regards,
Ryan
On 14.12.21 12:23, Juan Luis Cano Rodríguez wrote:
Hi Ryan,
Just a note: there is an open pull request already
https://github.com/sphinx-doc/sphinx/pull/9287
<https://github.com/sphinx-doc/sphinx/pull/9287> do you think it is
enough? Feel free to leave a comment there
Cheers,
[email protected]
Read the Docs
Sent from Front
On December 14, 2021, 11:49 AM GMT+1 [email protected]
<mailto:[email protected]> wrote:
Hello everyone,
I would like to put forward a proposal which is rather trivial and
concerns the Sphinx website. The Getting help
<https://www.sphinx-doc.org/en/master/internals/contributing.html#getting-help>
section refers readers to the Sphinx IRC channel #sphinx-doc on
irc.freenode.net <http://irc.freenode.net/>. However, there are
currently only 6 users in there. Most probably, you—like many
others—have moved to the identically named channel on irc.libera.chat
<http://irc.libera.chat/> in the course of the mass migration
<https://arstechnica.com/gadgets/2021/05/freenode-irc-has-been-taken-over-by-the-crown-prince-of-korea/>
this year. There are also more users in there—merely 15 at present,
but still more.
Therefore, if my assumptions are correct, I would like to request
adapting the reference to the Sphinx IRC channel in the /Getting
help/ section mentioned so it points users to #sphinx-doc on
irc.libera.chat <http://irc.libera.chat/>.
Additionally, the /Questions? Suggestions?/ section on the main page
<https://www.sphinx-doc.org/en/master/> would have to be adapted
accordingly, too, so it points users to /Libera.Chat
<http://libera.chat/>/ instead of /FreeNode/.
Thank you very much and have a nice day!
Best regards,
Ryan
--
You received this message because you are subscribed to the Google
Groups "sphinx-users" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to [email protected]
<mailto:[email protected]>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sphinx-users/c910370e-7f41-8af0-acea-264781b2195b%40mailbox.org
<https://groups.google.com/d/msgid/sphinx-users/c910370e-7f41-8af0-acea-264781b2195b%40mailbox.org?utm_medium=email&utm_source=footer>.
--
You received this message because you are subscribed to the Google
Groups "sphinx-users" group.
To unsubscribe from this group and stop receiving emails from it, send
an email to [email protected]
<mailto:[email protected]>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sphinx-users/b614a1ae6bc44ec9eb5698d148b72161%40frontapp.com
<https://groups.google.com/d/msgid/sphinx-users/b614a1ae6bc44ec9eb5698d148b72161%40frontapp.com?utm_medium=email&utm_source=footer>.
--
You received this message because you are subscribed to the Google Groups
"sphinx-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/sphinx-users/0be1e216-e5a0-408c-0458-a80a5ae2e3e4%40mailbox.org.
