search

AnkithAbhayan / modbot-discord

bot made for "AVAMOAGHOS" server
0 stars 2 forks source link

Improved user tagging #6

Closed CosmiX-6 closed 3 years ago

CosmiX-6 commented 3 years ago

Improvement in kick, mute, unmute command: Now user can be tagged using @.

AnkithAbhayan commented 3 years ago

interesting.. but would this work if I used the user id as well? I'd like it if both would work. ping and user id. Another thing worth noting is that most of the infractions are done in a Moderator-only channel resulting in the user getting a dm from the bot telling them why they got infracted. Since all users are not moderators, we cant ping them when muting them there. Which is where the feature to use both pings and user id comes into play.

CosmiX-6 commented 3 years ago

It will work for both, with user id and also with @tag.

AnkithAbhayan commented 3 years ago

aight.

AnkithAbhayan commented 3 years ago

LGTM thanks!