matthew/enhanced-discord.py
1
0
Fork 0
Code Issues 4 Pull Requests 21 Projects Releases Wiki Activity

Add the ability to set the option name with commands.Option #102

Merged
StockerMC merged 5 commits from patch-1 into 2.0 2021-10-16 14:00:57 +00:00
Conversation 1 Commits 5 Files Changed 2 +18 -4
StockerMC commented 2021-10-15 17:36:10 +00:00 (Migrated from github.com)
Copy Link

Summary

This PR adds the ability to set the name of an option with commands.Option. This is useful when the option name is different from the parameter name.

Checklist

  • If code changes were made then they have been tested.
    • I have updated the documentation to reflect the changes.
  • This PR fixes an issue.
  • This PR adds something new (e.g. new method or parameters).
  • This PR is a breaking change (e.g. methods or parameters removed/renamed)
  • This PR is not a code change (e.g. documentation, README, ...)
<!-- Pull requests that do not fill this information in will likely be closed --> ## Summary This PR adds the ability to set the name of an option with `commands.Option`. This is useful when the option name is different from the parameter name. ## Checklist - [x] If code changes were made then they have been tested. - [x] I have updated the documentation to reflect the changes. - [ ] This PR fixes an issue. - [x] This PR adds something new (e.g. new method or parameters). - [ ] This PR is a breaking change (e.g. methods or parameters removed/renamed) - [ ] This PR is **not** a code change (e.g. documentation, README, ...)
👀 1
Gnome-py (Migrated from github.com) approved these changes 2021-10-15 17:43:06 +00:00
Gnome-py (Migrated from github.com) left a comment
Copy Link

LGTM, just run black and I'll merge

LGTM, just run black and I'll merge
Sign in to join this conversation.
Reviewers
No Reviewers
Gnome-py
Labels
Clear labels
bug
Something isn't working
documentation
Improvements or additions to documentation
duplicate
This issue or pull request already exists
enhancement
New feature or request
good first issue
Good for newcomers
help wanted
Extra attention is needed
invalid
This doesn't seem right
question
Further information is requested
wontfix
This will not be worked on
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
matthew
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: matthew/enhanced-discord.py#102
No description provided.
Delete Branch "patch-1"

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?