push Skill
Push current branch changes to origin and create or update the corresponding pull request; use when asked to push, publish updates, or create pull request. Published by openai in symphony.
What is push Skill?
Push current branch changes to origin and create or update the corresponding pull request; use when asked to push, publish updates, or create pull request. Published by openai in symphony. This profile combines repository metadata with install, compatibility, and usage signals so developers can quickly decide whether it fits their agent workflow before opening the source repository.
Automated repository signals based on public metadata such as recency, license, installation evidence, and adoption. These are not a security audit or endorsement.
Key capabilities
- Includes SKILL.md support
- Reusable instructions support
- Developers using symphony
Technical details
- Install or run with Copy skill directory
When to use push Skill
- Use it for developers using symphony.
Built with
Editorial notes
Source
- Creator: openai
- Repository: openai/symphony
- Skill file: .codex/skills/push/SKILL.md
What it does
Push current branch changes to origin and create or update the corresponding pull request; use when asked to push, publish updates, or create pull request.
Skill instructions
Push Prerequisites - gh CLI is installed and available in PATH. - gh auth status succeeds for GitHub operations in this repo. Goals - Push current branch changes to origin safely. - 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 1. Identify current branch and confirm remote state. 2. Run local validation (make -C elixir all) before pushing. 3. Push branch to origin with upstream tracking if needed, using whatever remote URL is already configured. 4. If push is not clean/rejected: - If the failure is a non-fast-forward or sync problem, run the pull skill to merge origin/main, resolve conflicts, and rerun validation. - Push again; use --force-with-lease only when history was rewritten. - If the failure is due to auth, permissions, or workflow restrictions on the configure
Explore related resources
Frequently asked questions
What is push?
push is a open-source AI agent skill with Copy skill directory. Push current branch changes to origin and create or update the corresponding pull request; use when asked to push, publish updates, or create pull request.
Who is push best for?
push is best for reusing agent instructions, scripts, and references.
How do I install push?
Install or run push using Copy skill directory. Check push for the latest setup command.
Is push actively maintained?
push may need a closer maintenance check before production use.
Auto-fetched from GitHub.
