Skip to content

fix/5697: Konflikt-Issues der Versionsverteilung nicht mehr vervielfachen - #9

Merged
marcwimmer merged 1 commit into
v9.19from
fix/5697-dedupe-conflict-issues
Oct 15, 2026
Merged

marcwimmer merged 1 commit into
v9.19from
fix/5697-dedupe-conflict-issues

Conversation

@marcwimmer

Copy link
Copy Markdown
Contributor

Warum

integrate.sh hat bei jedem Merge-Konflikt bedingungslos ein neues Issue angelegt, also bei jedem Push auf einen Versionsbranch eins pro konfliktbehaftetem Paar, und keins wieder geschlossen. In zebroo-sync waren es am 15.10. 4309 Stück (2723 offen); die werden gerade gelöscht.

Was

  • Konflikt: Gibt es schon ein offenes Issue mit genau dem Titel (Autor github-actions[bot]), bekommt es einen Kommentar mit dem neuen Quell-SHA, statt dass ein neues entsteht.
  • Sauberer Merge oder Quelle schon integriert: offene Konflikt-Issues des Paares werden geschlossen.

Geprüft

  • tests/test_version_integration.py: 3 neue Fälle (kommentieren statt anlegen, schließen nach sauberem Merge, schließen bei schon integrierter Quelle), 10/10 grün. Gegen den bisherigen Workflow (WORKFLOW_OVERRIDE) scheitern genau die 3 neuen.
  • Die Suche mit echtem gh gegen zebroo-sync liefert die passenden offenen Issues. Dabei aufgefallen: --author app/github-actions findet nichts, richtig ist github-actions[bot].

Basis ist fix/5697-safe-version-distribution. Nach dem Merge müssen die Pins in zebroo-sync (deploy_patches.yml) nachgezogen werden: 11.0/16.0/17.0/20.0 → 35306346, 12.0–15.0 → e3e626f7, 18.0/19.0 → 84705040.

fix/5697: Konflikt-Issues der Versionsverteilung nicht mehr vervielfachen

Pro Quell-/Zielpaar gibt es nur noch ein offenes Konflikt-Issue: ist eins
offen, wird kommentiert statt neu angelegt; merged das Paar wieder sauber
oder ist schon integriert, wird es geschlossen.
@marcwimmer
marcwimmer changed the base branch from fix/5697-safe-version-distribution to v9.19 October 15, 2026 07:06
@marcwimmer
marcwimmer merged commit 83b2d82 into v9.19 Oct 15, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant