RPCS3/discord-bot
1
0
Fork 0
mirror of https://github.com/RPCS3/discord-bot.git synced 2026-07-19 22:03:33 -04:00
Code Issues 20 Packages Projects Releases Wiki Activity

[GH-ISSUE #145] !pr command group #36

New Issue
Closed
opened 2026-02-15 15:54:46 -05:00 by yindo · 1 comment
yindo commented 2026-02-15 15:54:46 -05:00
Owner
Copy Link
Copy Source

Originally created by @13xforever on GitHub (Jan 2, 2019).
Original GitHub issue: https://github.com/RPCS3/discord-bot/issues/145

Originally assigned to: @13xforever on GitHub.

  • !pr num to link the specified pr on github (embed with title and description)
  • !pr build num to link the latest appveyor build for the specified pr
  • !pr list to link currently open PRs
Originally created by @13xforever on GitHub (Jan 2, 2019). Original GitHub issue: https://github.com/RPCS3/discord-bot/issues/145 Originally assigned to: @13xforever on GitHub. - [x] `!pr num` to link the specified pr on github (embed with title and description) - [x] `!pr build num` to link the latest appveyor build for the specified pr - [x] `!pr list` to link currently open PRs
yindo added the enhancement label 2026-02-15 15:54:46 -05:00
yindo closed this issue 2026-02-15 15:54:46 -05:00
yindo commented 2026-02-15 15:54:46 -05:00
Author
Owner
Copy Link
Copy Source

@13xforever commented on GitHub (Jan 7, 2019):

Fixed by #156

@13xforever commented on GitHub (Jan 7, 2019): Fixed by #156
yindo changed title from !pr command group to [GH-ISSUE #145] !pr command group 2026-06-05 15:24:59 -04:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
Hacktoberfest
Hacktoberfest
bug
enhancement
enhancement
enhancement
fun stuff
good first issue
good first issue
help wanted
high priority
invalid
log analyzer
pull-request
Mirrored from GitHub Pull Request
 questionable
questionable
wontfix
No Label enhancement
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
yindo
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: RPCS3/discord-bot#36
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?