push
Installation
SKILL.md
Push
Prerequisites
ghCLI is installed and available inPATH.gh auth statussucceeds for GitHub operations in this repo.
Goals
- Push current branch changes to
originsafely. - Create a PR if none exists for the branch, otherwise update the existing PR.
- Keep branch history clean when remote has moved.
Related Skills
pull: use this when push is rejected or sync is not clean (non-fast-forward, merge conflict risk, or stale branch).
Steps
Related skills
More from odysseus0/symphony
debug
Investigate stuck runs and execution failures by tracing Symphony and Codex
235symphony-setup
Set up Symphony (OpenAI's Codex orchestrator) for a user's repo. Use when the user mentions Symphony setup, configuring Symphony, getting Symphony running, or wants to connect their repo to Linear for autonomous Codex agents. Also use when the user says "set up symphony", "configure symphony for my repo", or references WORKFLOW.md configuration.
235commit
Create a well-formed git commit from current changes using session history for
234land
Land a PR by monitoring conflicts, resolving them, waiting for checks, and
233pull
Pull latest origin/main into the current local branch and resolve merge
231linear
|
226