EXTENSIONS

Make sure a GitHub repository exists: create it if it's missing (for your account or an organization, public or private), otherwise report it without changing its settings. Uses the GitHub CLI's existing login, so no token goes in a vault.