fix(promotion-pr): treat nothing to promote as success

[TitusKirch]

Gefunden an kirchDev/duxt: dort schlug jeder Push auf dev im Promotion-PR-Workflow fehl.

Was passiert

gh pr create beantwortet den Fall „Quelle enthält nichts, was das Ziel nicht hat" mit

pull request create failed: GraphQL: No commits between main and dev

und einem Exit-Code ungleich 0. Der Job wird also rot — obwohl nichts falsch ist.

Das ist ein normaler Zustand, kein Fehler:

• ein frisch angelegtes Repo, dessen dev gerade von main geschnitten wurde (genau duxt),
• jeder Push, der keinen Commit hinzufügt, den main nicht schon hat — typischerweise ein Sync-Merge von main zurück nach dev.

Der Fix

Ein compare-Aufruf beantwortet die Frage, bevor create es versucht:

ahead=$(gh api "repos/$GH_REPO/compare/$TARGET...$SOURCE" --jq '.ahead_by')
if [ "$ahead" -eq 0 ]; then
  echo "'$SOURCE' carries no commits '$TARGET' lacks — nothing to promote."
  exit 0
fi

Der Output pull-request-number ist bereits als „empty if none was needed" dokumentiert — der frühe Ausstieg braucht also keine Signaturänderung.

Reichweite

Der Body wird von 20 Repos aufgerufen. Bisher ist es nur an duxt aufgefallen, weil dort dev == main der Dauerzustand war; die anderen treffen es nach jedem Sync-Merge.