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.
Decision snapshot
Is this a fit?
Developers using symphony, Includes SKILL.md, Reusable instructions
Compatibility not yet detected.
Permission behavior not yet detected.
Copy skill directory
28 days ago · Apache-2.0 license
No specific cautions were detected. Review the source and requested permissions before installing.
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. See how SkillIndex evaluates profiles.
Key capabilities
- Includes SKILL.md support
- Reusable instructions support
- Developers using symphony
Declared skill metadata
- Source file: .codex/skills/push/SKILL.md
These fields retain source and confidence evidence from the indexed SKILL.md.
Compatibility and setup
- 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
Verified compatibility and discovery
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.
Project health auto-fetched from the source repository.
Maintain this resource?
Review this source-backed profile, send a correction with evidence, or link to it from your documentation. Claims verify your relationship to the project; profile facts still require source evidence and editorial review.
