mirror of
https://github.com/RPCS3/discord-bot.git
synced 2026-07-19 13:54:44 -04:00
[PR #52] [MERGED] Hotfixes #170
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/52
Author: @13xforever
Created: 7/20/2018
Status: ✅ Merged
Merged: 7/20/2018
Merged by: @Nicba1010
Base:
master← Head:bugfixes📝 Commits (6)
883b790apparently commit hashes in filenames and in log could have different prefix lengthd1fce07Enabled cooldown on !explain to prevent accidental spamming6bc0b05make explain list sections uppercase for better contrast3b51adbsome fatal errors take two lines64c904afix channel converter1d7cc0afixed the issue where manual library selection was selected, but no library was checked📊 Changes
6 files changed (+43 additions, -21 deletions)
View changed files
📝
CompatBot/Commands/Converters/CustomDiscordChannelConverter.cs(+2 -0)📝
CompatBot/Commands/Explain.cs(+1 -1)📝
CompatBot/EventHandlers/LogInfoHandler.cs(+23 -16)📝
CompatBot/EventHandlers/LogParsing/LogParser.LogSections.cs(+1 -1)📝
CompatBot/Utils/EmbedPager.cs(+1 -2)📝
CompatBot/Utils/ResultFormatters/LogParserResultFormatter.cs(+15 -1)📄 Description
This fixes false positive on outdated build in log check
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.