[PR #48] [MERGED] Fix some issues after !warn overhaul #167

New Issue

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

yindo commented

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

📋 Pull Request Information

Original PR: https://github.com/RPCS3/discord-bot/pull/48
Author: @13xforever
Created: 6/17/2018
Status: ✅ Merged
Merged: 6/17/2018
Merged by: @Nicba1010

Base: master ← Head: add_db_upgrade_error_logging

📝 Commits (4)

2515db8 print exceptions just in case
b9462ba fix reporter and reportee on adding a new warning
059ab82 show unknown user ids only in dms
124d957 oops, forgot this debug print()

📊 Changes

2 files changed (+20 additions, -5 deletions)

View changed files

📝 bot.py (+16 -3)
📝 database.py (+4 -2)

📄 Description

Oops, reporter and reported users were swapped, my bad
Also add db upgrade error logs and user report generation

_{🔄 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/48 **Author:** [@13xforever](https://github.com/13xforever) **Created:** 6/17/2018 **Status:** ✅ Merged **Merged:** 6/17/2018 **Merged by:** [@Nicba1010](https://github.com/Nicba1010) **Base:** `master` ← **Head:** `add_db_upgrade_error_logging` --- ### 📝 Commits (4) - [`2515db8`](https://github.com/RPCS3/discord-bot/commit/2515db82c54042b58cede9057f9ecb80ef3fde5f) print exceptions just in case - [`b9462ba`](https://github.com/RPCS3/discord-bot/commit/b9462baccbc48894a090b194eb6febac2f9f1b87) fix reporter and reportee on adding a new warning - [`059ab82`](https://github.com/RPCS3/discord-bot/commit/059ab82b2e369fe016f2c4ea185ae457aca8ebb8) show unknown user ids only in dms - [`124d957`](https://github.com/RPCS3/discord-bot/commit/124d957f55036b5d5d636d337901c09f3c43794a) oops, forgot this debug print() ### 📊 Changes **2 files changed** (+20 additions, -5 deletions) <details> <summary>View changed files</summary> 📝 `bot.py` (+16 -3) 📝 `database.py` (+4 -2) </details> ### 📄 Description Oops, reporter and reported users were swapped, my bad Also add db upgrade error logs and user report generation --- <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:14 -05:00

yindo closed this issue

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

yindo referenced this issue

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

[PR #167] [MERGED] Small enhancements #252

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: RPCS3/discord-bot#167