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

[PR #66] [MERGED] major, world-changing fixes #184

New Issue
Closed
opened 2026-02-15 15:55:16 -05:00 by yindo · 0 comments
yindo commented 2026-02-15 15:55:16 -05:00
Owner
Copy Link
Copy Source

📋 Pull Request Information

Original PR: https://github.com/RPCS3/discord-bot/pull/66
Author: @dio-gh
Created: 8/11/2018
Status: ✅ Merged
Merged: 8/12/2018
Merged by: @Nicba1010

Base: master ← Head: master

📝 Commits (5)

📊 Changes

1 file changed (+10 additions, -10 deletions)

View changed files

📝 CompatBot/Utils/ResultFormatters/LogParserResultFormatter.cs (+10 -10)

📄 Description

typo fixes

🔄 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/66 **Author:** [@dio-gh](https://github.com/dio-gh) **Created:** 8/11/2018 **Status:** ✅ Merged **Merged:** 8/12/2018 **Merged by:** [@Nicba1010](https://github.com/Nicba1010) **Base:** `master` ← **Head:** `master` --- ### 📝 Commits (5) - [`6d39cd2`](https://github.com/RPCS3/discord-bot/commit/6d39cd29a1e58f0093d68885adfafcec72ee7e1e) major, world-changing fixes - [`45a7f21`](https://github.com/RPCS3/discord-bot/commit/45a7f21aad7f6ee43adc7126995b9b5f907e61a1) minor edit - [`a70952c`](https://github.com/RPCS3/discord-bot/commit/a70952ca60306fbc6c1716068bd155262b58e2f4) final edit - [`dc8d5eb`](https://github.com/RPCS3/discord-bot/commit/dc8d5eb10c0511e2aef091ea2fcf5daac52e1b11) final final edit - [`182e7d0`](https://github.com/RPCS3/discord-bot/commit/182e7d0007628796bf7868b26aeb9ed73396896d) final final final edit ### 📊 Changes **1 file changed** (+10 additions, -10 deletions) <details> <summary>View changed files</summary> 📝 `CompatBot/Utils/ResultFormatters/LogParserResultFormatter.cs` (+10 -10) </details> ### 📄 Description typo fixes --- <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:16 -05:00
yindo closed this issue 2026-02-15 15:55:16 -05: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 pull-request
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#184
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?