mirror of
https://github.com/RPCS3/discord-bot.git
synced 2026-07-19 22:03:33 -04:00
[PR #360] [MERGED] Minor quality of life improvements #435
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/360
Author: @13xforever
Created: 7/31/2019
Status: ✅ Merged
Merged: 7/31/2019
Merged by: @13xforever
Base:
master← Head:vnext📝 Commits (5)
edbb3e5change log parsing logging priority to disable it in release mode9a559fcdon't show conflicting library loaders for vsh buildb1009a9log note for the sleep timer accuracy mode for nier2c62d84more consistent formatting4f9711cuse custom embeds for github issue linking when ratelimit allows📊 Changes
8 files changed (+133 additions, -12 deletions)
View changed files
📝
Clients/GithubClient/Client.cs(+45 -0)📝
Clients/GithubClient/POCOs/PrInfo.cs(+23 -0)📝
CompatBot/Commands/Pr.cs(+15 -0)📝
CompatBot/EventHandlers/GithubLinksHandler.cs(+13 -4)📝
CompatBot/EventHandlers/LogParsing/LogParser.LogSections.cs(+2 -0)📝
CompatBot/EventHandlers/LogParsing/LogParser.StateMachineGenerator.cs(+1 -1)📝
CompatBot/Utils/ResultFormatters/LogParserResultFormatter.WeirdSettingsSection.cs(+11 -3)📝
CompatBot/Utils/ResultFormatters/PrInfoFormatter.cs(+23 -4)📄 Description
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.