mirror of
https://github.com/RPCS3/discord-bot.git
synced 2026-07-19 13:54:44 -04:00
[PR #876] [MERGED] Miscellaneous fixes and optimizations #901
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/876
Author: @13xforever
Created: 7/3/2022
Status: ✅ Merged
Merged: 7/3/2022
Merged by: @clienthax
Base:
master← Head:vnext📝 Commits (6)
95d2d84update windows version check to require win10 21h1 or newer26ed377add an option to only backup specific database8eba7abflush log before sending the copy619f355try to fix unexpected end of deflate streamb01450conly perform db compaction once a monthd06f4ceuse newer pattern matching for version check📊 Changes
4 files changed (+42 additions, -24 deletions)
View changed files
📝
CompatBot/Commands/Sudo.Bot.Configuration.cs(+1 -1)📝
CompatBot/Commands/Sudo.cs(+38 -15)📝
CompatBot/Utils/ResultFormatters/LogParserResultFormatter.GeneralNotesSection.cs(+2 -2)📝
CompatBot/Utils/ResultFormatters/LogParserResultFormatter.WeirdSettingsSection.cs(+1 -6)📄 Description
No description provided
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.