Push

Handles the full push-to-PR workflow in one go: pushes your current branch, runs validation, and either creates a new pull request or updates the existing one. The interesting bit is how opinionated it gets about PR quality. It enforces your repository's PR template, validates the body with a custom mix task, and explicitly reconsiders whether the title still matches scope on every update. When push fails, it knows to delegate to a separate pull skill for merge conflicts rather than force-pushing blindly. Built for a team that cares about clean PR descriptions and wants the AI to follow the same standards humans do.

skills.sh installs: 525
GitHub stars: 82
last updated: Aug 21, 2026

View on GitHub

Install

$ npx -y skills add odysseus0/symphony --skill push --agent claude-code

Installs into .claude/skills of the current project.

Files

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

Identify current branch and confirm remote state.
Run local validation (make -C elixir all) before pushing.
Push branch to origin with upstream tracking if needed, using whatever remote URL is already configured.
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 configured remote, stop and surface the exact error instead of rewriting remotes or switching protocols as a workaround.