mirror of
https://github.com/RPCS3/discord-bot.git
synced 2026-07-19 13:54:44 -04:00
[PR #397] [MERGED] Small bugfixes #473
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/397
Author: @13xforever
Created: 8/30/2019
Status: ✅ Merged
Merged: 8/30/2019
Merged by: @13xforever
Base:
master← Head:vnext📝 Commits (7)
91acda3...3bdfd08add author mention for content filters with custom messagecb1cb9cfix potential issues in code43f574aadd note for mgs4d0d8873change piracy warning back to text, as some people have embeds disabledc1bfcfbApply suggestions from code reviewf7646e2fix library loader note📊 Changes
8 files changed (+55 additions, -15 deletions)
View changed files
📝
CompatBot/Commands/CompatList.cs(+3 -0)📝
CompatBot/Database/Providers/ContentFilter.cs(+1 -2)📝
CompatBot/EventHandlers/DiscordInviteFilter.cs(+11 -0)📝
CompatBot/EventHandlers/LogParsingHandler.cs(+11 -0)📝
CompatBot/Utils/ResultFormatters/FwInfoFormatter.cs(+2 -2)📝
CompatBot/Utils/ResultFormatters/LogParserResultFormatter.WeirdSettingsSection.cs(+25 -10)📝
CompatBot/Utils/ResultFormatters/LogParserResultFormatter.cs(+1 -1)📝
Tests/TimeParserTests.cs(+1 -0)📄 Description
No description provided
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.