Requires git and authenticated gh CLI.
Never push directly to main.
Never force-push unless the user explicitly asks.
Never commit, push, or open a PR with private Moodle data, tokens, .env, or local MCP/client configs.

Workflow

Inspect state:
- git status --short
- git branch --show-current
- git remote -v
- gh auth status
If on main, stop and create or ask for a feature branch before shipping.
If dirty, group changes into atomic Conventional Commit proposals. Ask before committing.
Fetch and compare with main:
- git fetch origin main
- git log origin/main..HEAD --oneline
- git diff origin/main...HEAD --stat
Run relevant checks from CONTRIBUTING.md. At minimum run lint/type checks and targeted tests for touched code.
Read .github/pull_request_template.md and draft a concise PR body from real commits, diff, and checks.
Push the branch with git push origin <branch>.
Create the PR with gh pr create --base main --head <branch> --title "<conventional title>" --body "<body>".
Report the PR URL, branch, commits, checks run, and any remaining risks.

PR Body Rules

Follow the repo PR template.
Include concrete verification commands and outcomes.
Mention skipped checks explicitly.
Keep Moodle examples generic; never include live course names, grades, submissions, users, private URLs, or tokens.

Blockers

Block shipping when checks fail, the branch contains unrelated private/local files, commits are WIP/debug-only, gh is unauthenticated, or the diff includes unreviewed generated churn.