mirror of
https://github.com/RPCS3/discord-bot.git
synced 2026-07-19 13:54:44 -04:00
[PR #173] [MERGED] Small fixes #258
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/173
Author: @13xforever
Created: 1/15/2019
Status: ✅ Merged
Merged: 1/15/2019
Merged by: @13xforever
Base:
master← Head:vnext📝 Commits (5)
cf15169limit ALL pr lists to spam channel743113eI am dumb3847754add one more check for !explain rename6a14a32do not even try to moderate voice channels349ded0update api returns merge date, not build date📊 Changes
4 files changed (+12 additions, -13 deletions)
View changed files
📝
CompatBot/Commands/Explain.cs(+5 -3)📝
CompatBot/Commands/Pr.cs(+2 -4)📝
CompatBot/EventHandlers/DiscordInviteFilter.cs(+2 -3)📝
CompatBot/Utils/ResultFormatters/UpdateInfoFormatter.cs(+3 -3)📄 Description
No description provided
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.