Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Log wastebin events into the private moderation log #129

Closed
danirod opened this issue May 17, 2020 · 0 comments · Fixed by #156
Closed

Log wastebin events into the private moderation log #129

danirod opened this issue May 17, 2020 · 0 comments · Fixed by #156
Labels
enhancement Makes something better tracking issue This describes an existing or future pull request

Comments

@danirod
Copy link
Member

danirod commented May 17, 2020

When the 🗑️ emoji is used to delete a priorly wanned message, the bot should send anotice into the private moderation log to mark the warned message as deleted. This should be done to indicate other moderators that the message was deleted, to avoid having them click the message and wonder where it is, or to avoid them spending time thinking if it's worth keeping the warned message or not if another moderator has already chosen so.

@danirod danirod added the enhancement Makes something better label May 17, 2020
@danirod danirod added this to To do in Infrastructure Kanban via automation May 17, 2020
@danirod danirod added this to the Moderation tools milestone May 17, 2020
@danirod danirod added this to High priority in Triaging May 17, 2020
@danirod danirod added the tracking issue This describes an existing or future pull request label May 17, 2020
@danirod danirod linked a pull request Jul 2, 2020 that will close this issue
Infrastructure Kanban automation moved this from To do to Done Jul 2, 2020
Triaging automation moved this from High priority to Closed Jul 2, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement Makes something better tracking issue This describes an existing or future pull request
Projects
No open projects
Development

Successfully merging a pull request may close this issue.

1 participant