Conversation
- Add admin subcommand with start, stop, stats, and CRUD operations - Add admin service functions with Bearer token authentication - New commands: - popcorn admin start/stop - control job acceptance - popcorn admin stats - view server statistics - popcorn admin get-submission/delete-submission - popcorn admin create-leaderboard/delete-leaderboard Requires POPCORN_ADMIN_TOKEN environment variable for authentication.
- Only require directory as positional arg (e.g., "identity_py") - Accept --gpu multiple times for multiple GPU types - Name and deadline auto-derived by server
- Remove --gpu argument (GPUs now come from task.yml) - Remove unimplemented LoadCompetition stub - Service only sends directory in payload
Member
Author
|
Also @ngc92 - not sure why i cant tag |
Adds CLI support for updating problems from a GitHub repository, mirroring the Discord /admin update-problems command. Supports --problem-set, --repository, --branch, and --force options.
Removed 'almost' from the description of CLI capabilities.
This file contains hidden or 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
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.
Summary
Add admin subcommands to the CLI for managing the kernelbot server.
New Commands
Authentication
Requires
POPCORN_ADMIN_TOKENenvironment variable:export POPCORN_ADMIN_TOKEN=your_token_here popcorn admin statsUsage with Local Server
Changes
src/cmd/admin.rs: New admin command modulesrc/cmd/mod.rs: Added Admin command variant and handlersrc/service/mod.rs: Added admin HTTP functions with Bearer token authTest plan
popcorn admin --helpshows available commands