Menu
Push current branch changes to origin and create or update the corresponding pull request; use when asked to push, publish updates, or create a pull request.
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
Based on SOC occupation classification
Create a well-formed git commit from current changes using session history for rationale and summary; use when asked to commit, prepare a commit message, or finalize staged work.
Land a PR by monitoring conflicts, resolving them, waiting for checks, and squash-merging when green; use when asked to land, merge, or shepherd a PR to completion.
Use Symphony's `linear_graphql` client tool for raw Linear GraphQL operations such as comment editing and status updates.
Pull latest origin/main into the current local branch and resolve merge conflicts (aka update-branch). Use when Codex needs to sync a feature branch with origin, perform a merge-based update, and resolve conflicts safely.
| name | push |
| description | Push current branch changes to origin and create or update the corresponding pull request; use when asked to push, publish updates, or create a pull request. |
gh CLI is installed and available in PATH.gh auth status succeeds for GitHub operations in this repo.origin safely.pull: use this when push is rejected or the branch is stale.Run the checks that match the repo's normal contribution flow before pushing:
bun run lint
bun run test
Run browser coverage too when the change is user-facing, routing-related, or otherwise browser-observable:
bun run test:e2e
If Playwright browsers are missing, install them first:
bunx playwright install --with-deps chromium
origin with upstream tracking if needed.pull skill, rerun validation, and push again.gh pr view.branch=$(git branch --show-current)
git push -u origin HEAD
pr_state=$(gh pr view --json state -q .state 2>/dev/null || true)
if [ "$pr_state" = "MERGED" ] || [ "$pr_state" = "CLOSED" ]; then
echo "Current branch is tied to a closed PR; create a new branch + PR." >&2
exit 1
fi
pr_title="<clear PR title written for this change>"
if [ -z "$pr_state" ]; then
gh pr create --fill --title "$pr_title"
else
gh pr edit --title "$pr_title"
fi
gh pr view --json url -q .url
--force; use --force-with-lease only when local history was intentionally rewritten.pull skill for the former and surface the latter directly.