菜单
Push current branch to origin and create or update the PR; use when asked to push, publish updates, or create a pull request.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
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.
Investigate stuck runs and execution failures by tracing Symphony logs with issue/session identifiers; use when runs stall, retry repeatedly, or fail unexpectedly.
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.
Use Symphony's linear_graphql client tool for raw Linear GraphQL operations such as comment editing, state transitions, and uploads.
Pull latest origin/main into the current branch and resolve merge conflicts. Use when Codex needs to sync a feature branch with origin before pushing.
Set up, configure, run, and troubleshoot symphony-go — an autonomous agent orchestrator that polls Linear issues and runs Codex sessions. Use when the user asks to install symphony, create a WORKFLOW.md, configure Linear integration, start the orchestrator, debug stuck agents, fix failing hooks, tune retry/backoff, set up workspaces, or any task related to running symphony-go in a repository.
| name | push |
| description | Push current branch to origin and create or update the PR; use when asked to push, publish updates, or create a pull request. |
gh CLI authenticated (gh auth status).branch=$(git branch --show-current)
make check
git push -u origin HEAD
pull skill to sync, then retry.pr_state=$(gh pr view --json state -q .state 2>/dev/null || true)
if [ "$pr_state" = "MERGED" ] || [ "$pr_state" = "CLOSED" ]; then
echo "Branch tied to closed PR; create a new branch + PR."
exit 1
fi
if [ -z "$pr_state" ]; then
gh pr create --title "<clear title>"
else
gh pr edit --title "<updated title if scope changed>"
fi
gh pr view --json url -q .url
linear skill so the
orchestrator stops re-dispatching.--force; only --force-with-lease when history was rewritten.pull skill first — do not change remotes or protocols as a workaround.