[PR #738] [MERGED] Improve PR build linking experience #792

New Issue

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

yindo commented

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

📋 Pull Request Information

Original PR: https://github.com/RPCS3/discord-bot/pull/738
Author: @13xforever
Created: 3/25/2021
Status: ✅ Merged
Merged: 3/25/2021
Merged by: @13xforever

Base: master ← Head: vnext

📝 Commits (6)

de21d03 get rpcs3 pipeline build duration stats from azure instead of hardcode
d79fe0d use readonly records
73e204c allow more characters for !rename command
5e5ad1b update deps
b404a62 use pipeline stats to schedule new build checks
72f57dc wow I'm dumb

📊 Changes

11 files changed (+195 additions, -60 deletions)

View changed files

📝 Clients/CompatApiClient/CompatApiClient.csproj (+2 -2)
📝 Clients/IrdLibraryClient/IrdLibraryClient.csproj (+1 -1)
📝 Clients/PsnClient/PsnClient.csproj (+1 -1)
📝 CompatBot/Commands/CompatList.cs (+8 -7)
📝 CompatBot/Commands/ForcedNicknames.cs (+5 -1)
📝 CompatBot/Commands/Pr.cs (+24 -6)
📝 CompatBot/CompatBot.csproj (+11 -11)
📝 CompatBot/EventHandlers/NewBuildsMonitor.cs (+15 -10)
📝 CompatBot/Program.cs (+3 -1)
📝 CompatBot/Utils/Extensions/AzureDevOpsClientExtensions.cs (+85 -20)
➕ CompatBot/Utils/Statistics.cs (+40 -0)

📄 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/738 **Author:** [@13xforever](https://github.com/13xforever) **Created:** 3/25/2021 **Status:** ✅ Merged **Merged:** 3/25/2021 **Merged by:** [@13xforever](https://github.com/13xforever) **Base:** `master` ← **Head:** `vnext` --- ### 📝 Commits (6) - [`de21d03`](https://github.com/RPCS3/discord-bot/commit/de21d03c9def786c2922b6f801dd5062dc52f451) get rpcs3 pipeline build duration stats from azure instead of hardcode - [`d79fe0d`](https://github.com/RPCS3/discord-bot/commit/d79fe0d79265190a6f84ebbc73e5db87f7a80f9e) use readonly records - [`73e204c`](https://github.com/RPCS3/discord-bot/commit/73e204c651b5a4f63b84d1ce3995e869a02eb34e) allow more characters for !rename command - [`5e5ad1b`](https://github.com/RPCS3/discord-bot/commit/5e5ad1b8d271d2465327495354ba1506f4659d74) update deps - [`b404a62`](https://github.com/RPCS3/discord-bot/commit/b404a6205e7d2221058077bb86a5905304e11485) use pipeline stats to schedule new build checks - [`72f57dc`](https://github.com/RPCS3/discord-bot/commit/72f57dcec1c58af0a3317ac765c849ee705db58f) wow I'm dumb ### 📊 Changes **11 files changed** (+195 additions, -60 deletions) <details> <summary>View changed files</summary> 📝 `Clients/CompatApiClient/CompatApiClient.csproj` (+2 -2) 📝 `Clients/IrdLibraryClient/IrdLibraryClient.csproj` (+1 -1) 📝 `Clients/PsnClient/PsnClient.csproj` (+1 -1) 📝 `CompatBot/Commands/CompatList.cs` (+8 -7) 📝 `CompatBot/Commands/ForcedNicknames.cs` (+5 -1) 📝 `CompatBot/Commands/Pr.cs` (+24 -6) 📝 `CompatBot/CompatBot.csproj` (+11 -11) 📝 `CompatBot/EventHandlers/NewBuildsMonitor.cs` (+15 -10) 📝 `CompatBot/Program.cs` (+3 -1) 📝 `CompatBot/Utils/Extensions/AzureDevOpsClientExtensions.cs` (+85 -20) ➕ `CompatBot/Utils/Statistics.cs` (+40 -0) </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:53 -05:00

yindo closed this issue

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

yindo referenced this issue

2026-02-15 15:57:01 -05:00

[PR #792] [MERGED] An option to auto kick users without roles #842

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: RPCS3/discord-bot#792