[PR #163] [MERGED] Fix PR build linking when it was merged, but not built yet #249

New Issue

2026-02-15T15:55:27-05:00

yindo commented

2026-02-15 15:55:27 -05:00

📋 Pull Request Information

Original PR: https://github.com/RPCS3/discord-bot/pull/163
Author: @13xforever
Created: 1/11/2019
Status: ✅ Merged
Merged: 1/11/2019
Merged by: @13xforever

Base: master ← Head: vnext

📝 Commits (3)

c499d33 add more triggers
2345d53 Do not link master if PR has been just merged and wasn't built yet
2ff92aa limit appveyor history crawl to 6 months, as looking farther is mostly pointless

📊 Changes

4 files changed (+19 additions, -4 deletions)

View changed files

📝 AppveyorClient/Client.cs (+3 -1)
📝 CompatBot/Commands/Pr.cs (+15 -1)
📝 CompatBot/EventHandlers/BotShutupHandler.cs (+1 -1)
📝 CompatBot/Program.cs (+0 -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/163 **Author:** [@13xforever](https://github.com/13xforever) **Created:** 1/11/2019 **Status:** ✅ Merged **Merged:** 1/11/2019 **Merged by:** [@13xforever](https://github.com/13xforever) **Base:** `master` ← **Head:** `vnext` --- ### 📝 Commits (3) - [`c499d33`](https://github.com/RPCS3/discord-bot/commit/c499d33c93bf1ebb55828b55e7028d828961e3eb) add more triggers - [`2345d53`](https://github.com/RPCS3/discord-bot/commit/2345d539e45cf1ce97ec0f9793ad8294ac6f9c38) Do not link master if PR has been just merged and wasn't built yet - [`2ff92aa`](https://github.com/RPCS3/discord-bot/commit/2ff92aa487aef096fb43a495efd47d5c8b946016) limit appveyor history crawl to 6 months, as looking farther is mostly pointless ### 📊 Changes **4 files changed** (+19 additions, -4 deletions) <details> <summary>View changed files</summary> 📝 `AppveyorClient/Client.cs` (+3 -1) 📝 `CompatBot/Commands/Pr.cs` (+15 -1) 📝 `CompatBot/EventHandlers/BotShutupHandler.cs` (+1 -1) 📝 `CompatBot/Program.cs` (+0 -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:55:27 -05:00

yindo closed this issue

2026-02-15 15:55:27 -05:00

yindo referenced this issue

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

[PR #447] [MERGED] An ability to force username changes by admins #249 #517

yindo referenced this issue

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

[GH-ISSUE #249] An ability to force username changes by admins #43

Sign in to join this conversation.