Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[💡] - Delete player command #3

Open
obfuscatedgenerated opened this issue May 26, 2023 · 0 comments
Open

[💡] - Delete player command #3

obfuscatedgenerated opened this issue May 26, 2023 · 0 comments
Labels
effort: low feature New feature or request priority: low

Comments

@obfuscatedgenerated
Copy link
Owner

We provide an API to edit the PlayerDB, but that's not always convenient for small edits. We should provide a command to delete a player name or IP from the DB.
@obfuscatedgenerated obfuscatedgenerated added awaiting effort estimate This issue needs its effort set awaiting triage This issue needs its priority set feature New feature or request unreviewed This issue hasn't yet been reviewed by a collaborator priority: low effort: low and removed awaiting triage This issue needs its priority set awaiting effort estimate This issue needs its effort set unreviewed This issue hasn't yet been reviewed by a collaborator labels May 26, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
effort: low feature New feature or request priority: low
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@obfuscatedgenerated