Open main menu

Difference between revisions of "Discord Server"

37 bytes added ,  17:13, 13 June 2019
no edit summary
Line 11: Line 11:
We have several bots living on Discord:
We have several bots living on Discord:
* ''Grogbot'' -- provides a bridge between Discord and our [[IRC Channel]], so that all messages appear on both platforms.
* ''Grogbot'' -- provides a bridge between Discord and our [[IRC Channel]], so that all messages appear on both platforms.
* ''Github'' -- commit notification bot. It notifies on all commits and PRs.
* ''Github'' -- commit notification webhook. Not technically a bot, this webhook notifies on all commits and PRs.
224

edits