"""Small, tested helpers used by the post-merge GitHub Actions workflow."""