// Undo local submissions for DevOps and Verify Journal API Implementation so you can re-test verification flows. Also supports custom requirement IDs and user scoping.
Attach relevant Copilot session lessons, mistakes, decisions, model details, token usage, MCP servers, and skills to a GitHub issue comment. Use when the user asks to add session notes, lessons learned, Copilot notes, mistakes, or implementation details to an issue.
Run ruff lint, ruff format, ty type-check, shared/API tests, start the API, smoke test endpoints, then kill the API. Use after editing Python files to catch errors before commit.
Run prek, run tests, resolve issues, commit, push, then monitor the deploy workflow and resolve any deploy failures. Use when user says "ship it", "commit and deploy", "push and deploy", or "land this".
Map concepts, issues, and code changes in this repo to specific chapters and pages of Fluent Python, 2nd edition (Luciano Ramalho). Use when the user wants to ground a task in the underlying Python concept, e.g. "where is this in fluent python?", "what should I read for
Reset verification submissions for a user in production. Use when user says "reset prod submissions", "reset phase X in prod", "undo prod verification", or "reset prod for <username>".
Debug GitHub Actions workflow failures and Terraform errors. Use when deployment failed, Terraform state lock, CI/CD pipeline errors, or troubleshooting deploy.yml.
| name | reset-local-submissions |
| description | Undo local submissions for DevOps and Verify Journal API Implementation so you can re-test verification flows. Also supports custom requirement IDs and user scoping. |
Use this skill to remove local submission records and recompute phase counters for testing.
The default command resets:
devops-implementationjournal-api-implementationcd <workspace>/api && uv run python scripts/reset_local_submissions.py
cd <workspace>/api && uv run python scripts/reset_local_submissions.py --dry-run
--user-id is the GitHub user ID (e.g. 6733686 for madebygps), not a sequential DB ID.
Run --dry-run first (without --user-id) to discover the IDs in your local database.
cd <workspace>/api && uv run python scripts/reset_local_submissions.py --user-id <github_user_id>
cd <workspace>/api && uv run python scripts/reset_local_submissions.py \
--requirement-id <requirement_id_1> \
--requirement-id <requirement_id_2>
cd <workspace>/api && uv run python scripts/reset_local_submissions.py \
--user-id <user_id> \
--requirement-id devops-implementation \
--requirement-id journal-api-implementation