fix: resume a stranded merge-door release #274

Merged
andres merged 8 commits from build/273-resume-merge-door into main 2026-08-31 16:57:10 +00:00
Showing only changes of commit f19658ea82 - Show all commits

View file

@ -18,13 +18,9 @@ FOREIGN_SHA=2222222222222222222222222222222222222222
# preflight <VER> <MERGE_SHA> <TAG_SHAS> <RELEASED> — run the pure decision
# with exactly the four gathered facts in its environment.
preflight() {
(
VER="$1" MERGE_SHA="$2" TAG_SHAS="$3" RELEASED="$4"
export VER MERGE_SHA TAG_SHAS RELEASED
# shellcheck source=lib/preflight.sh
. "$PREFLIGHT"
release_preflight
)
# shellcheck disable=SC2016 # PREFLIGHT expands inside the isolated child
env VER="$1" MERGE_SHA="$2" TAG_SHAS="$3" RELEASED="$4" \
PREFLIGHT="$PREFLIGHT" bash -c '. "$PREFLIGHT"; release_preflight'
}
preflight_stdout() {
@ -32,7 +28,7 @@ preflight_stdout() {
}
preflight_stderr() {
preflight "$@" 2>&1 >/dev/null
{ preflight "$@" >/dev/null; } 2>&1
}
refuses_without_output() {