mirror of
https://github.com/RPCS3/discord-bot.git
synced 2026-07-19 22:03:33 -04:00
[PR #77] [MERGED] Some quality of life updates #194
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/77
Author: @13xforever
Created: 9/10/2018
Status: ✅ Merged
Merged: 9/10/2018
Merged by: @Nicba1010
Base:
master← Head:more_qol_updates📝 Commits (8)
7df03faswallow TaskCancelledException in threads8995318indicate os in the first line of the build info78908d6periods or no periods, that's the question304b4b4reduce log result size if there are N/A settings60a6e93trigger update check on successful build announcement688701b!report message4e5b9cfprevent reporting abusef066713add optional comment to the report📊 Changes
9 files changed (+201 additions, -60 deletions)
View changed files
➕
CompatBot/Commands/Attributes/RequiresWhitelistedRole.cs(+18 -0)📝
CompatBot/Commands/CompatList.cs(+3 -1)➕
CompatBot/Commands/Moderation.cs(+36 -0)➕
CompatBot/EventHandlers/NewBuildsMonitor.cs(+32 -0)📝
CompatBot/EventHandlers/Starbucks.cs(+1 -2)📝
CompatBot/Program.cs(+11 -7)📝
CompatBot/Utils/DiscordClientExtensions.cs(+3 -1)📝
CompatBot/Utils/EmbedPager.cs(+1 -0)📝
CompatBot/Utils/ResultFormatters/LogParserResultFormatter.cs(+96 -49)📄 Description
!report messagecommand to report messages🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.