jesopo dc102f258d Add Database.servers.get_by_alias, move IRCBot.get_server to ... IRCBot.get_server_by_id, add IRCBot.get_server_by_alias and change !connect/!disconnect to take aliases instead of IDs		2019-04-24 12:07:30 +01:00
..
__init__.py	Add Database.servers.get_by_alias, move IRCBot.get_server to	2019-04-24 12:07:30 +01:00
ghwebhook.md	pr-all also shows when there are new commits to a pull request (github)	2019-01-21 17:25:13 +00:00