mirror of
https://github.com/RPCS3/discord-bot.git
synced 2026-07-19 13:54:44 -04:00
[PR #198] [MERGED] Various bugfixes #278
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/198
Author: @13xforever
Created: 1/31/2019
Status: ✅ Merged
Merged: 1/31/2019
Merged by: @13xforever
Base:
master← Head:vnext📝 Commits (4)
5be5ee3sacrifice compactness for easier understanding of different grammar structuresf0d4892fix piracy warning context logging when parsing the logs713edc8detect when someone tries to workaround the discord invite filter7ebbed8do not trust github CI statuses, always check appveyor history📊 Changes
5 files changed (+68 additions, -39 deletions)
View changed files
📝
CompatBot/Commands/Invites.cs(+1 -1)📝
CompatBot/Commands/Pr.cs(+6 -16)📝
CompatBot/EventHandlers/DiscordInviteFilter.cs(+49 -18)📝
CompatBot/EventHandlers/IsTheGamePlayableHandler.cs(+11 -3)📝
CompatBot/EventHandlers/LogParsingHandler.cs(+1 -1)📄 Description
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.