Dear JUCE devs,
I am the maintainer of a bot on the Freenode IRC channel #juce. The bot notifies the channel each new commit pushed on the JUCE Github repository. The IRC channel is bridged to the Discord Juce group, so the bot is de facto mirrored on Discord.
May I suggest that this IRC bot be replaced by the GitHub integration service? This would require less maintenance from my side (connection loss, crashes, hosting) while just needing the initial config on your side?
Here is the step-by-step guide to do so, on GitHub:
Settings > Integrations & services > Add service > IRC >
- Fields to fill (others are optional)
- Server: chat.freenode.net
- Room: #juce
- Branches: master,develop
-> Add service
Let me know what you think about this. Also, if you know any integration service from the forum to IRC, I’d be happy to know too, as another bot currently hammers the JUCE forum every 5 minutes to detect new threads.