بنقرة واحدة
commit-push-pr
Quickly commit, push, and create a PR while leaving validation to GitHub checks
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
القائمة
Quickly commit, push, and create a PR while leaving validation to GitHub checks
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
استنادا إلى تصنيف SOC المهني
Quickly commit and push local changes while leaving validation to GitHub checks
Step-by-step guide for adding new pages to the Yew frontend
Step-by-step guide for adding new OAuth integrations to Lightfriend
Step-by-step guide for modifying database schema using Diesel migrations
Run formatting and linting checks on the codebase
Update Lightfriend documentation and create commit
| name | commit-push-pr |
| description | Quickly commit, push, and create a PR while leaving validation to GitHub checks |
Commit and push local changes quickly, then create a PR if one does not exist. Do not run local formatting, lint, or test commands by default; GitHub Actions runs validation after push.
git status
Review what will be committed. If there are no changes to commit, skip to Step 5 (PR check).
Use git diff --stat or git diff --cached --stat when a quick scope check is useful. Do not run full validation unless the user explicitly asks for it.
git add -A
Ask the user for a commit message, or generate one based on the changes.
IMPORTANT: Never include:
git push origin HEAD
If push fails due to upstream changes:
git pull --rebase origin HEAD && git push origin HEAD
gh pr list --head $(git branch --show-current) --state open
If a PR already exists for this branch, inform the user and provide the PR URL. Done.
Get the current branch and base branch:
CURRENT_BRANCH=$(git branch --show-current)
Create the PR:
gh pr create --title "PR title here" --body "$(cat <<'EOF'
## Summary
- Brief description of changes
## Test plan
- GitHub Actions will run validation after push
EOF
)"
PR Title: Generate from the commit message or ask user.
PR Body: Include:
Do NOT include "Generated with Codex" or similar.
Provide the PR URL to the user.
If staging, commit, push, or PR creation fails:
If GitHub checks fail after push, inspect and fix them in a follow-up workflow.
# Quick commit + push
git status
git add -A
git commit -m "message"
git push origin HEAD
# Check for existing PR
gh pr list --head $(git branch --show-current) --state open
# Create PR
gh pr create --title "Title" --body "Body"