mirror of
https://github.com/RPCS3/discord-bot.git
synced 2026-07-19 13:54:44 -04:00
[PR #778] [MERGED] Maintenance #831
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/778
Author: @13xforever
Created: 6/5/2021
Status: ✅ Merged
Merged: 6/5/2021
Merged by: @13xforever
Base:
master← Head:vnext📝 Commits (5)
ab99cdfupdate buttons on unknown commandaf1c4c3allow libvdec lle override06bae38use proper command names in bot suggestions instead of aliasesf4644b2tweak command correction threshold for typos3c93ea5in spam channels add button to replace regular product code result with updates📊 Changes
7 files changed (+113 additions, -37 deletions)
View changed files
📝
CompatBot/Commands/CompatList.cs(+15 -15)📝
CompatBot/Commands/Misc.cs(+1 -1)➕
CompatBot/EventHandlers/GlobalButtonHandler.cs(+54 -0)📝
CompatBot/EventHandlers/ProductCodeLookup.cs(+13 -8)📝
CompatBot/EventHandlers/UnknownCommandHandler.cs(+7 -7)📝
CompatBot/Program.cs(+3 -1)📝
CompatBot/Utils/ResultFormatters/LogParserResultFormatter.WeirdSettingsSection.cs(+20 -5)📄 Description
No description provided
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.