EXTENSIONS

Make a repository's GitHub Pages site build from GitHub Actions: enable Pages if it's off, switch a branch-built site over, otherwise leave it alone. Uses the GitHub CLI's existing login, so no token goes in a vault.