diff options
| author |  jesopo | 2018-12-06 12:13:59 +0000 |
|---|---|---|
| committer | jesopo | 2018-12-06 12:13:59 +0000 |
| commit | 3e0bd3ee857d90b218bbbaf5f913802e308e8a2d (patch) | |
| tree | 2cd4ac989fb68836860e1cf4263efa2f23508d7f /modules/github.py | |
| parent | 'X-GitHub-Event' -> 'X-Github-Event' now that we .title() header keys (diff) | |
| signature | ||
Add 'bot-channel' config in bot.conf.example and use it, if present, in
bot_channel.py
Diffstat (limited to 'modules/github.py')
0 files changed, 0 insertions, 0 deletions