Open
Conversation
Collaborator
|
Is there any particular reason you see this as required? There are many occasions in the IBO Discord Server where we intentionally want the bot to ping a specific person or role, could you suggest how this functionality could be retained? |
Author
|
Perhaps it will only allow pings at the start of a message, and change command output such that it is impossible for user input to be at the beginning of a message and all intentional pings are at the start? |
Collaborator
|
Seems like that could be quite involved and potentially restrictive. Is there any particular vulnerability you are trying to patch out? |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Replaces all @ symbols with the @ symbol and the zero width space, instead of just @everyone and @here.