I would like to put forward a proposal which is rather trivial and concerns the Sphinx website. The Getting help section refers readers to the Sphinx IRC channel #sphinx-doc on 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 in the course of the mass migration 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.
Additionally, the Questions? Suggestions? section on the
main page would
have to be adapted accordingly, too, so it points users to Libera.Chat
instead of FreeNode.
Thank you very much and have a nice day!
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 sphinx-users...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/sphinx-users/c910370e-7f41-8af0-acea-264781b2195b%40mailbox.org.
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.
I think we can consider this topic as addressed and handed over to the maintainers for approval.
To view this discussion on the web visit https://groups.google.com/d/msgid/sphinx-users/b614a1ae6bc44ec9eb5698d148b72161%40frontapp.com.