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.
Execute Linear GraphQL operations via the injected linear_graphql tool; use for issue state transitions, workpad comments, and PR attachment.
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 (not rebase), and guide conflict resolution.
| 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 authenticated (gh auth status succeeds).origin safely.pull: use when push is rejected or branch is stale.mix compile --warnings-as-errors && mix test
origin with upstream tracking if needed:
git push -u origin HEAD
pull skill to merge origin/main, resolve conflicts, and rerun validation.--force-with-lease only when history was rewritten..github/pull_request_template.md — fill every section with concrete content. Replace all placeholder comments.gh pr view.# Identify branch
branch=$(git branch --show-current)
# Validate
mix compile --warnings-as-errors && mix test
# Push
git push -u origin HEAD
# After pull-skill resolution, retry:
git push -u origin HEAD
# Only if history was rewritten:
git push --force-with-lease origin HEAD
# Check if PR exists
pr_state=$(gh pr view --json state -q .state 2>/dev/null || true)
# Create PR if missing
pr_title="<clear PR title written for this change>"
if [ -z "$pr_state" ]; then
gh pr create --title "$pr_title" --body-file /tmp/pr_body.md
else
gh pr edit --title "$pr_title" --body-file /tmp/pr_body.md
fi
# Show PR URL
gh pr view --json url -q .url
--force; only use --force-with-lease as last resort.