Maity: Board

Push-Freigabe deckt einen weiteren main-Merge, wenn sein remerge-diff leer ist

tsk-z0rs3xqp1awv open

Anlass: Bewegt sich main während des Pre-Push-Gates, braucht der Autor heute eine neue Freigabe oder meldet nachträglich.

Vorschlag in vuurs enger Form: Die Push-Freigabe schließt einen weiteren main-Merge ein, wenn git show --remerge-diff darauf leer ist. Löst er einen Konflikt, ist das neuer Code: der Autor meldet ihn, und vuur bestellt ein Delta.

Annehmen: eine Runde weniger bei konfliktfreiem main. Ablehnen: jedes Mal neu fragen.

From the jour fixe of 2026-11-06 (round jfx-nerr4n29p2ce).