commit-pr
Commit changes, push to remote, and create a GitHub PR. Use when completing a feature and ready to open a pull request.
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
القائمة
Commit changes, push to remote, and create a GitHub PR. Use when completing a feature and ready to open a pull request.
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
استنادا إلى تصنيف SOC المهني
Check a PR for Greptile review comments, status checks, and completeness. Use after creating a PR to see if Greptile has reviewed it.
Agent workflow automation, documentation maintenance checklists, and slash commands for the EdgeLab project. Load this skill when adding modules, screens, or using agent workflows.
Iteratively fix a PR against Greptile review until 5/5 confidence. Polls Greptile comments, applies safe fixes, pushes, and repeats.
Review uncommitted changes, commits, branch diffs, or PRs against EdgeLab conventions. Load this skill when asked to review code.
Build, test, format, install, lint, and model export commands for the EdgeLab multi-module Android project. Load this skill when you need to run Gradle commands or verify changes.
Release build workflow, signing configuration, and GitHub Actions release process for EdgeLab and CyclingCopilot. Load this skill when preparing a release.
| name | commit-pr |
| description | Commit changes, push to remote, and create a GitHub PR. Use when completing a feature and ready to open a pull request. |
# Confirm we are in a git repo
git rev-parse --show-toplevel
# Check current branch
git branch --show-current
# Confirm gh CLI is authenticated
gh auth status
# Check for staged or unstaged changes
git status --short
If there are no changes to commit:
"No changes detected to commit. Exiting."
If not on a feature branch (e.g., on main or master):
"You appear to be on the main branch. Please switch to a feature branch first."
Run formatting if the project uses ktfmt:
./gradlew ktfmtFormat
Stage all changes:
git add -A
Generate commit message:
git status --shortgit diff --staged --statCommit:
git commit -m "<commit message>"
If commit fails due to pre-commit hooks:
./gradlew ktfmtFormat, stage, retrygit push -u origin <current-branch>
If push is rejected due to remote having newer commits:
Check if an open PR already exists:
gh pr view --json number,url,title,state 2>/dev/null
state is "OPEN" → reuse existing PR, skip creationstate is "CLOSED" or "MERGED" → create a new PRIf no open PR exists, create one:
git log $(git symbolic-ref refs/remotes/origin/HEAD 2>/dev/null | sed 's|^refs/remotes/origin/||' || echo main)..HEAD --onelinegh pr create --title "<title>" --body "<generated body>"
Print result:
✅ PR ready
#<N> — <title>
URL: <pr-url>
Branch: <branch-name>
| Situation | Action |
|---|---|
| No changes to commit | Exit early with message |
| On main/master branch | Ask user to switch to a feature branch |
| Push rejected by hooks | Fix issues, retry once, then ask user |
| PR creation fails | Show error, ask user to resolve |
| Existing PR is closed/merged | Ignore it, create a new PR |
| Remote has newer commits | Do not force-push, ask user to pull/resolve |