224
edits
Difference between revisions of "Discord Server"
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 | * ''Github'' -- commit notification webhook. Not technically a bot, this webhook notifies on all commits and PRs. | ||