mirror of
https://github.com/RPCS3/discord-bot.git
synced 2026-07-18 10:54:28 -04:00
[GH-ISSUE #814] Command to link Build before a PR merged #71
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?
Originally created by @Asinin3 on GitHub (Sep 15, 2021).
Original GitHub issue: https://github.com/RPCS3/discord-bot/issues/814
Rather than have to go to the RPCS3 builds page and find which PR merged before one with an issue, it would be really useful if there was an e.g
!beforeprcommand that would search for the build directly before the PR you put in merged.@13xforever commented on GitHub (Dec 6, 2022):
isn't possible to implement with the current compat api, bug Ani to add this
Command to link Build before a PR mergedto [GH-ISSUE #814] Command to link Build before a PR merged