Since silentmode/silentmode was deleted and each project now lives in its
own repo, cross-cutting commits made in the local working copy need to be
routed per-project via git-subtree-split. Rather than remember the
incantation, wrap it:
scripts/push-split.sh Hephaestus # → 'hephaestus' remote
scripts/push-split.sh TheseusNavigator # → 'theseus' (Navigator suffix stripped)
scripts/push-split.sh AriadneResolver # → 'ariadne' (Resolver suffix stripped)
scripts/push-split.sh site-sirius-x sirius # explicit override for non-matching names
Preserves history (uses --branch, not --squash), pushes to <remote>:master,
cleans up the ephemeral branch on exit.
