mirror of
https://github.com/RPCS3/discord-bot.git
synced 2026-07-19 13:54:44 -04:00
[PR #47] [MERGED] Implement !explain and general commands cleanup #168
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/RPCS3/discord-bot/pull/47
Author: @13xforever
Created: 6/16/2018
Status: ✅ Merged
Merged: 6/17/2018
Merged by: @Nicba1010
Base:
master← Head:bot_commands_cleanup📝 Commits (10+)
8b6a618implemented!warn listto list all users with warnings1a7926fadd reactions to failed mod and sudo commands, and also log user names1ebd9b9warning support for unknown (banned / kicked) users28d713eadd usage example for !warn75e94f0added reporter to the warning db1ee0b68implemented !explain command488097bfixed reaction for denied commands1d8ee3efix multiline explanationscc8038bshow only text names of warned users in publicb231c3cfix saving warning on piracy trigger📊 Changes
2 files changed (+305 additions, -69 deletions)
View changed files
📝
bot.py(+271 -63)📝
database.py(+34 -6)📄 Description
In this PR:
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.