13 Commits

Author	SHA1	Message	Date
Wojciech Pawlik	11da9c9ba2	Add "report handled" button	2020-02-06 12:35:04 +01:00
GingerPlusPlus	5b9cea8103	Handle and utilize message links	2019-04-06 15:39:40 +02:00
GingerPlusPlus	c5bae13d3f	Make some handlers channel-friendly	2019-01-24 19:53:10 +01:00
GingerPlusPlus	92ec6e9725	Add report chat	2019-01-21 17:22:53 +01:00
Muthu Kumar	eeb571226d	[feature] Schedule deletion of warn and ban messages (#95)	2018-11-20 06:17:30 +00:00
GingerPlusPlus	48c7733cf1	Report to local admins, instead of bot admins ... 1. This ensures that bot won't try mentioning admins which are not in the group (which may fail), 2. This allows also local admins to sort out the situation.	2017-11-11 11:50:37 +01:00
GingerPlusPlus	ff2e78c92b	[eslint] function-paren-newline: error, multiline	2017-10-31 23:08:22 +01:00
GingerPlusPlus	337f6e2183	Added and used scheduleDeletion ... ...only where I was certain that whis was a good idea, perhaps it could be useful in more places.	2017-10-31 22:36:18 +01:00
Pouria Ezzati	5314328ab6	replaced stars with zero-width spaces, resolves #22	2017-10-08 11:45:43 +03:30
GingerPlusPlus	2e729d62b8	[Bugfix] adapt /report to changed schema	2017-09-29 15:53:21 +02:00
Pouria Ezzati	1219654065	merged ban & admin DBs into user DB	2017-09-27 00:11:20 +03:30
Pouria Ezzati	14f2164e5d	added styling format for messages	2017-09-24 14:32:27 +03:30
GingerPlusPlus	53fdf39a4e	Moved report handler to the right place, updated TODO	2017-09-23 21:33:20 +02:00