PR Submission (git + gh)
Use this skill when you need to turn local changes into a GitHub PR safely in CI or local shells.
Preconditions
- Working tree has the intended changes.
- You have
GH_TOKENavailable (recommended in CI).
Steps
Sync base branch:
git fetch origingit checkout maingit reset --hard origin/main
Create a unique branch:
git checkout -b iflow/<category>-<id>
Commit changes:
git add -Agit commit -m "<type>: <short summary>"
Push branch:
git push -u origin iflow/<category>-<id>
Create PR with gh:
gh pr create --title "<type>: <summary>" --body "Summary:\n- ...\n\nRisks:\n- ...\n\nTests:\n- ..." --base main --head iflow/<category>-<id>
Failure Handling
- If
GH_TOKENis missing orghfails: stop and report. - Never push to
main/master.
Converted and distributed by TomeVault — claim your Tome and manage your conversions.