Skip to content

Sanitize but Allow Reminder Mentions #365

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
hariedo merged 9 commits into from
Nov 15, 2025
Merged

Sanitize but Allow Reminder Mentions #365

hariedo merged 9 commits into from
Nov 15, 2025

Conversation

@hariedo
Copy link
Collaborator

@hariedo hariedo commented Nov 15, 2025 •
edited
Loading

Wherever possible, the !remindme command will allow usernames in reminder text, but replaces the <@123> user mention with **Joe** preferred username so there's still no chance of the bot pinging the person mentioned in the reminder.

@hariedo
Update ReminderModule.cs
de5558c 
Experimental branch to sanitize but allow mentions.
@hariedo
Update ReminderModule.cs
882ab9a
@github-actions
Copy link

github-actions bot commented Nov 15, 2025

🚀 Deploy this PR to an environment

You can deploy this PR to either development or staging environment:

  • Comment /deploy_dev to deploy to the development environment

Alternatively, you can:

  1. Go to Actions tab
  2. Click on "Manual Deploy to Firebase" workflow
  3. Click the "Run workflow" button
  4. Select branch: hariedo-patch-1
  5. Choose environment: DEV
  6. Enter a deployment message
  7. Click "Run workflow"

@hariedo
Copy link
Collaborator Author

hariedo commented Nov 15, 2025

/deploy_dev

@github-actions
Copy link

github-actions bot commented Nov 15, 2025

🚀 Starting deployment of Unity-Developer-Community/UDC-Bot:hariedo-patch-1 to development...

@hariedo hariedo changed the title Hariedo patch 1 Sanitize but Allow Reminder Mentions Nov 15, 2025
@hariedo
Copy link
Collaborator Author

hariedo commented Nov 15, 2025

/deploy_dev

@github-actions
Copy link

github-actions bot commented Nov 15, 2025

🚀 Starting deployment of Unity-Developer-Community/UDC-Bot:hariedo-patch-1 to development...

@hariedo
Copy link
Collaborator Author

hariedo commented Nov 15, 2025

/deploy_dev

@github-actions
Copy link

github-actions bot commented Nov 15, 2025

🚀 Starting deployment of Unity-Developer-Community/UDC-Bot:hariedo-patch-1 to development...

@hariedo
Copy link
Collaborator Author

hariedo commented Nov 15, 2025

/deploy_dev

@github-actions
Copy link

github-actions bot commented Nov 15, 2025

🚀 Starting deployment of Unity-Developer-Community/UDC-Bot:hariedo-patch-1 to development...

@hariedo
Copy link
Collaborator Author

hariedo commented Nov 15, 2025

/deploy_dev

@github-actions
Copy link

github-actions bot commented Nov 15, 2025

🚀 Starting deployment of Unity-Developer-Community/UDC-Bot:hariedo-patch-1 to development...

@hariedo
Copy link
Collaborator Author

hariedo commented Nov 15, 2025

Wherever possible, the !remindme command will allow usernames in reminder text, but replaces the <@123> user mention with **Joe** preferred username so there's still no chance of the bot pinging the person mentioned in the reminder.

@hariedo hariedo marked this pull request as ready for review November 15, 2025 17:05
@hariedo hariedo merged commit 3cc4d9d into master Nov 15, 2025
7 checks passed
@hariedo hariedo deleted the hariedo-patch-1 branch November 15, 2025 17:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@hariedo