push

name	push
description	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.

Push

Prerequisites

• gh CLI is installed and authenticated.
• GH_REPO is set to bestlux/symphony, or every gh command uses --repo bestlux/symphony.
• The current branch is the Linear branch for the issue.

Goals

• Run the .NET/web validation gate before publishing.
• Push the current branch to origin.
• Create or update a GitHub PR against bestlux/symphony:main.
• Link the PR in Linear and update the persistent ## Codex Workpad comment.

Related Skills

• pull: use this when the branch is stale or push is rejected as non-fast-forward.
• linear: use this to edit the Linear workpad through linear_graphql.

Steps

1. Confirm branch and remotes.
2. Run .\scripts\validate-symphony.ps1.
3. Push with upstream tracking: git push -u origin HEAD.
4. If push is rejected because the branch is stale, run the pull skill, rerun validation, and retry the push.
5. Ensure a PR exists for the branch:
   • Create one if missing.
   • Update title/body if it already exists and the scope changed.
   • If the branch is tied to a closed or merged PR, create a fresh branch from origin/main and restart.
6. Draft a concrete PR body from before creating or editing the PR. Remove every placeholder comment.