Use the user ID instead of user name for Discord #4

Closed
opened 2023-09-25 16:59:57 +00:00 by silver · 4 comments
silver commented 2023-09-25 16:59:57 +00:00 (Migrated from gitlab.skynet.ie)

Users can change their name but not their ID so it is better to use the const value.

Users can change their name but not their ID so it is better to use the const value.
silver commented 2023-09-25 16:59:57 +00:00 (Migrated from gitlab.skynet.ie)

assigned to @silver

assigned to @silver
silver commented 2023-09-25 23:57:13 +00:00 (Migrated from gitlab.skynet.ie)

mentioned in commit 8760f4440a

mentioned in commit 8760f4440a1d31f1f264880cb544a9cab3a3731c
silver commented 2023-09-25 23:58:22 +00:00 (Migrated from gitlab.skynet.ie)

mentioned in merge request !2

mentioned in merge request !2
silver commented 2023-09-26 00:16:25 +00:00 (Migrated from gitlab.skynet.ie)

mentioned in commit 6a0b664e7d

mentioned in commit 6a0b664e7db1bba9d35aa41297e328353aa34971
silver (Migrated from gitlab.skynet.ie) closed this issue 2023-09-26 00:16:25 +00:00
silver (Migrated from gitlab.skynet.ie) closed this issue 2023-09-26 00:16:25 +00:00
Sign in to join this conversation.
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: Skynet/discord-bot#4
No description provided.