| name | noqx-push-meta |
| description | Meta workflow for preparing noqx changes for GitHub. Use when the agent is asked to push, commit and push, prepare a commit for sharing, or decide which project skills and checks apply before updating `origin`. |
Noqx Push Meta
Purpose
Use this skill as the entry point before pushing changes to GitHub. It routes to the project-specific skills that contain the detailed rules and keeps the final push checklist in one place.
Required Skill Routing
- Read
skills/noqx-git-workflow/SKILL.md before staging, committing, writing commit messages, or pushing.
- Read
skills/noqx-solver-testing/SKILL.md when changes touch solver/, solver examples, puzzle conversion helpers, or benchmark-related files.
- Read
skills/noqx-python-style/SKILL.md when changes touch Python files.
Push Checklist
- Run
git status --short --branch and identify all dirty files.
- Inspect diffs for every file that might be staged.
- Stage only files that belong to the requested change.
- Run the checks required by the routed skills. For solver changes, this normally includes:
uv run --with ruff ruff check solver\<solver-name>.py
uv run coverage report -m
- Make sure all tests pass and the new functions are covered with tests.
- Use a Conventional Commit message as described in
noqx-git-workflow.
- After committing, confirm
git status --short --branch shows only intended state.
- Push the current branch explicitly with
git push origin <branch>.
- Report the commit hash, pushed branch, checks run, and any unrelated dirty files that remain.
Safety Rules
- Do not push unreviewed unrelated local changes.
- Do not mix local tooling or generated helper files into a solver commit unless the user explicitly asks for them.
- If hooks modify files during commit, inspect those changes before staging and committing again.
- Treat a successful push as complete only after
git status --short --branch confirms the local branch is aligned with its upstream.
- If the test coverages are below 95% for a single file, inspect the coverage report.
