Integrate the six open burn-in pull requests #23
Reference in New Issue
Block a user
Delete Branch "integrate"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Merges #14, #18, #19, #20, #21 and #22 into one reviewed change.
Every branch targeted the same base and the same script, so they conflict pairwise. Each was merged in turn and the conflicts resolved by hand:
The usage text and its test fixture were rebuilt once, listing every flag, rather than patched per merge.
Verified on the merged tree: bash -n on every script, the healthcheck itself, orchestra_e2e_selftest.sh, and test_healthcheck.sh, which now asserts each flag.