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 |