Look into referring to all users by their discord ID instead of SID

sjstein / R8DIUM

A discord bot to manage individual run8 users

GNU General Public License v3.0

2 stars 0 forks source link

Look into referring to all users by their discord ID instead of SID #89

Closed sjstein closed 10 months ago

sjstein commented 11 months ago

It would (probably) be easier on everyone if instead of referring to the user by their SID for /ban_user, /show_user, etc. we could use the discord ID via the @ decorator

sjstein commented 11 months ago

There is some crosstalk here with issue #90

sjstein commented 11 months ago

First stab at this handled in branch 89_refer-with-discord-id

sjstein commented 10 months ago

Handled via merge #96