Use when a staged PR is ready for remote main and local main sync. Keywords: merge PR, sync main, PR合并, 同步main, 阶段PR收尾, Stage PR, worktree cleanup.
Inspect the current git diff, separate relevant changes from unrelated working-tree noise, stage only the intended files, and create one clean local commit. Use when the user asks for 自动commit, 整理成一条干净 commit, 看 diff 顺手提交, clean commit, 拆分提交, 只提交相关改动, or wants the agent to review git changes before committing.
Push the current branch to the remote and create a GitHub pull request for this pyisis repository. Use when the user asks for 推到远程并开PR, 推当前分支到远程 PR, 自动 push branch and create PR, 发布当前分支, 提交远程审核, open PR for current branch, or wants one workflow that pushes then opens a PR.
Implement, extend, test, or maintain pybind11 bindings for USGS ISIS in this repository. Use when the user asks to 继续做 ISIS pybind 绑定, 给某个 ISIS 类写 pybind11 绑定, 补 unit test / smoke test, 分析 todo_pybind11.csv / methods_inventory_summary.csv, 或更新 pybind_progress_log.md progress.
Run a rolling pybind binding campaign for unfinished ISIS classes in this repository. Use when the user asks to 持续推进未完成类绑定, 一次选 5 个或 10 个类排队处理, 一个类一个类做 pybind + focused unit test + smoke test, 编译失败时持续分析修复, 或在 10 次失败后做台账止损标记.