[PR #761] [MERGED] Maintenance #814

New Issue

2026-02-15T15:56:56-05:00

yindo commented

2026-02-15 15:56:56 -05:00

📋 Pull Request Information

Original PR: https://github.com/RPCS3/discord-bot/pull/761
Author: @13xforever
Created: 5/4/2021
Status: ✅ Merged
Merged: 5/4/2021
Merged by: @13xforever

Base: master ← Head: vnext

📝 Commits (3)

8394cd8 clean more unicdoe blocks from usernames
69ff57e log is taking too long to init, so fix ui log detection
d744c55 remove regex limitations comment now that everything is handled automatically

📊 Changes

3 files changed (+6 additions, -7 deletions)

View changed files

📝 CompatBot/Config.cs (+1 -1)
📝 CompatBot/EventHandlers/LogParsing/LogParser.LogSections.cs (+2 -5)
📝 CompatBot/EventHandlers/UsernameZalgoMonitor.cs (+3 -1)

📄 Description

No description provided

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/RPCS3/discord-bot/pull/761 **Author:** [@13xforever](https://github.com/13xforever) **Created:** 5/4/2021 **Status:** ✅ Merged **Merged:** 5/4/2021 **Merged by:** [@13xforever](https://github.com/13xforever) **Base:** `master` ← **Head:** `vnext` --- ### 📝 Commits (3) - [`8394cd8`](https://github.com/RPCS3/discord-bot/commit/8394cd8050c5fccf9407caa45ee876a1463478fa) clean more unicdoe blocks from usernames - [`69ff57e`](https://github.com/RPCS3/discord-bot/commit/69ff57e91b19fd65deaf1ec2584160a82234b68b) log is taking too long to init, so fix ui log detection - [`d744c55`](https://github.com/RPCS3/discord-bot/commit/d744c55cbfea07f9d61c3afbb42e366c7d00be4c) remove regex limitations comment now that everything is handled automatically ### 📊 Changes **3 files changed** (+6 additions, -7 deletions) <details> <summary>View changed files</summary> 📝 `CompatBot/Config.cs` (+1 -1) 📝 `CompatBot/EventHandlers/LogParsing/LogParser.LogSections.cs` (+2 -5) 📝 `CompatBot/EventHandlers/UsernameZalgoMonitor.cs` (+3 -1) </details> ### 📄 Description _No description provided_ --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

yindo added the pull-request label 2026-02-15 15:56:56 -05:00

yindo closed this issue

2026-02-15 15:56:56 -05:00

yindo referenced this issue

2026-06-05 15:25:10 -04:00

[GH-ISSUE #814] Command to link Build before a PR merged #71

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: RPCS3/discord-bot#814