Closed wookie184 closed 4 months ago
@wookie184 Just deleting the file will do it? I am unable to find any other reference to the filter.
@wookie184 Just deleting the file will do it? I am unable to find any other reference to the filter.
Yes, that should be all that's required. (the filter's settings will need to be deleted from the database before merging but I can do that using the !filter delete
command)
@wookie184 can you review the PR and delete the filter settings.
Discord seem to have fixed the bug that allowed user accounts to send embeds. Things that make me think this:
This makes the rich embed filter no longer necessary. It's had quite a few bugs (mostly relating to twitter) and gives some false positives, so it would be helpful to have it removed.