Martin
972090d00c
Add optional /report reason and show it to admins ( #171 )
2023-10-23 11:55:49 +02:00
Muthu Kumar
5bedd0dce5
feat: forward reported msg to report chat
2023-09-20 00:36:58 +05:30
Muthu Kumar
d6d40ac9fb
fix: ban/warn delegate deleteMsg to ctx.{ban|warn}
2023-09-19 23:59:20 +05:30
Martin
f91f6ef4f5
Change deprecated .tg Telegraf alias for .telegram ( #152 )
...
* Swap deprecated .tg for .telegram
2022-05-31 17:17:45 +02:00
Martin Rys
5bd57355b3
satisfy linter
2021-02-05 18:17:58 +01:00
Martin Rys
0d10c7cbb7
also delete messages from mangled reports
2021-02-05 12:43:56 +01:00
Martin Rys
04a0995e02
ignore monospaced reports
2021-02-05 12:06:44 +01:00
Martin Rys
182a469660
Always delete all report messages
...
Co-authored-by: Thomas Rory Gummerson <thomas@gummerson.no>
2020-10-09 10:56:24 +02:00
Martin Rys
33ed853712
Anonymize reporter
2020-09-18 12:54:33 +02:00
Martin Rys
e586cc8177
Show ID of reported user in reports
2020-09-18 12:49:16 +02:00
Wojciech Pawlik
e814ec185d
Rewrite /report
2020-05-13 17:22:30 +02:00
Thomas Rory Gummerson
758b924436
Type ctx
2020-03-13 22:00:30 +01:00
Thomas Rory Gummerson
f018464482
Type config file
2020-03-12 19:42:53 +01:00
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