6 commits

Author	SHA1	Message	Date
jesopo	3d7b3c922a	Include NOTICEs in ignores	2019-07-01 19:52:49 +01:00
jesopo	97f891a632	Allow bot admins to add/remove channel-ignores	2019-07-01 19:36:51 +01:00
jesopo	863e87c9ca	Support ignoring users per-channel	2019-07-01 19:32:40 +01:00
jesopo	ba581d8622	'in_args' -> 'min_args'	2019-07-01 19:23:39 +01:00
jesopo	d08cb30f27	Set ignore.py --depends-on hashflags	2019-06-20 12:08:24 +01:00
jesopo	282bde82c5	Move !ignore logic to it's own file	2019-06-20 11:51:04 +01:00