a bot that serves as a proxy for the tilde.town admin team and performs sundry useful tasks
Branch: master
Clone or download
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
plugins
.gitignore fixes to keys and to psa Jan 15, 2019
LICENSE Initial commit Oct 24, 2018
README.md
SPEC.md clarify !ticket example Oct 24, 2018
adminbot.py changed admin listing to be the same as bot ops Jan 22, 2019
requirements.txt add draft of bot Nov 2, 2018

README.md

adminbot

a bot that serves as a proxy for the tilde.town admin team and performs sundry useful tasks