If add_user is used, nothing is filled in for the discord name. This makes reading the /list_users command pretty awkward. See if we can ask discord for the name when given the ID
(maybe the corollary is true too? When specifying a new user by discord name, find the id and fill in to the db)
sjstein
commented
9 months ago
If add_user is used, nothing is filled in for the discord name. This makes reading the /list_users command pretty awkward. See if we can ask discord for the name when given the ID
(maybe the corollary is true too? When specifying a new user by discord name, find the id and fill in to the db)