Use the user ID instead of user name for Discord #4
Loading…
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Users can change their name but not their ID so it is better to use the const value.
assigned to @silver
mentioned in commit
8760f4440a
mentioned in merge request !2
mentioned in commit
6a0b664e7d