| name | symphony-push |
| description | Veröffentlicht im Symphony-Issue-Workflow den aktiven Branch, erstellt oder aktualisiert die PR und verknüpft sie mit Linear. |
Push
Voraussetzungen
- Laufender Symphony-Issue-Workflow auf
symphony/<IssueId>.
gh ist installiert und authentifiziert.
Ablauf
- Branch und Remote-Status prüfen.
- Dokumentierte lokale Validierung ausführen.
- Ausnahme: Wenn
symphony-push aus symphony-land in Merge (AI) nur
einen <Issue-Key> Merge (AI) Autocommit veröffentlicht, keine lokale
Push-Validierung und kein lokales Voll-Gate ausführen. Der Merge-Schritt
pusht nur den neuen Stand, verschiebt nach Test (AI) und stoppt.
git push -u origin HEAD.- Bei non-fast-forward oder veraltetem Branch
symphony-pull ausführen,
erneut validieren und pushen. Für die Merge (AI)-Autocommit-Ausnahme nach
Schritt 2 nach dem Pull/Rebase nicht lokal validieren, sondern den
aktualisierten Autocommit-Stand pushen, nach Test (AI) zurückspringen und
stoppen. --force-with-lease nur nach lokaler History-Umschreibung.
Auth-/Berechtigungsfehler direkt melden.
- PR sicherstellen: offene PR aktualisieren, fehlende PR erstellen, bei alter
geschlossener/gemergter PR neue PR aus demselben Branch erstellen.
- Im
Merge (AI)-Recovery-Pfad zusätzlich prüfen, dass die PR-Head-SHA nach
dem Push dem lokalen HEAD entspricht. Bei Head-Mismatch stoppen und nicht
als mergefähig dokumentieren.
- PR-Titel und Body müssen den gesamten aktuellen Scope beschreiben.
- Neu erstellte oder noch nicht verknüpfte PR per
symphony-linear mit
attachmentLinkGitHubPR ans aktive Linear-Issue hängen.
- Wenn Linear für dieselbe GitHub-PR-URL einen Duplicate-/Already-exists-
Fehler meldet, ist der Link idempotent als bereits vorhanden zu werten.
- Andere Attachment-, Auth- oder Berechtigungsfehler bleiben Fehler und
werden gemäß Linear-Zugriffsregeln behandelt.
- PR-Body nach Repo-Konventionen/Vorlage schreiben; explizite
Body-Validierung nur ausführen, wenn dokumentiert.
- Mit der PR-URL und, im
Merge (AI)-Recovery-Pfad, mit bestätigter
PR-Head-SHA abschließen.
Kommandoskizze
branch=$(git branch --show-current)
<lokale Validierung aus Repo-/Ticket-Kontext; in der Merge-Autocommit-Ausnahme überspringen>
git push -u origin HEAD
pr_state=$(gh pr view --json state -q .state 2>/dev/null || true)
pr_title="<klarer PR-Titel für diese Änderung>"
if [ -z "$pr_state" ] || [ "$pr_state" = "MERGED" ] || [ "$pr_state" = "CLOSED" ]; then
gh pr create --title "$pr_title"
else
gh pr edit --title "$pr_title"
fi
gh pr view --json url -q .url
gh pr view --json headRefOid -q .headRefOid
