mirror of
https://github.com/RPCS3/discord-bot.git
synced 2026-07-19 13:54:44 -04:00
[PR #167] [MERGED] Small enhancements #252
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/167
Author: @13xforever
Created: 1/13/2019
Status: ✅ Merged
Merged: 1/13/2019
Merged by: @13xforever
Base:
master← Head:vnext📝 Commits (5)
efab408prevent double parentheses in merged pr links9be2f55missed one obvious case88c691banother check for corrupted filesebabb97disable this debug line, as it's spaming too much0ef8c67tweakd master build time again, 'cause why not📊 Changes
6 files changed (+11 additions, -8 deletions)
View changed files
📝
AppveyorClient/Client.cs(+1 -1)📝
CompatBot/Commands/Pr.cs(+1 -1)📝
CompatBot/EventHandlers/BotShutupHandler.cs(+1 -1)📝
CompatBot/EventHandlers/LogParsing/LogParser.LogSections.cs(+2 -0)📝
CompatBot/Utils/ResultFormatters/LogParserResultFormatter.cs(+5 -4)📝
CompatBot/Utils/ResultFormatters/UpdateInfoFormatter.cs(+1 -1)📄 Description
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.