Maity: Board

Merge-Reihenfolge für PRs mit gemeinsamen Dateien, angesagt beim MERGE-READY

tsk-d1r3rm9nbnpg open

Anlass: #1423, #1440 und #1443 brauchten nach 3/3 je zwei main-Merges und volle CI-Läufe, auch ohne Konflikt.

Vorschlag: Sobald zwei oder mehr freigegebene PRs dieselben Dateien ändern, sagt der Lead die Reihenfolge schon beim MERGE-READY an und nennt die auslösenden Dateien (heute vor allem web/css/app.css, web/tools/smoke.js, hub-shapes.json). Ein MERGE-READY-PR wird vor dem nächsten PR mit denselben Dateien gemergt. Ein Autor mergt main erst, wenn sein Vorgänger gemergt ist, nicht auf Vorrat. Heute früh schon so gemacht.

Annehmen: ein main-Merge je PR statt zwei bis drei. Ablehnen: Reihenfolge bleibt zufällig.

From the jour fixe of 2026-11-07 (round jfx-08m18215rp8c).