Change profiles #44
Open
Change profiles #44
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
odrling
reviewed
Dec 14, 2024
odrling
reviewed
Dec 15, 2024
This change introduces new commands with new commands and UI elements for user profiles.
Now user profiles are opt-in and each user can enter the information they want to include in their profile to be recognized by other members of the discord server.
New commands
============
/iam command lets the user edit their perosnal information
/whois @other_user command lets the user get the server card of the other user whose username was included as a parameter
Deleted commands
================
All old commands related to profiles were deleted and only the previously mentionned commands were kept.
odrling
force-pushed
the
better-profiles
branch
from
bd235a3 to
6d31b75
Compare
|
squashed to deal with the conflicts after I formatted |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This change introduces new commands with new commands and UI elements for user profiles.
Now user profiles are opt-in and each user can enter the information they want to include in their profile to be recognized by other members of the discord server.
New commands
Deleted commands
All old commands related to profiles were deleted and only the previously mentionned commands were kept.