ci

No push runs the CI, to spare the Actions minutes. This starts the Release workflow on main: it runs the CI (checks, packages, end-to-end and Firefox tests), then makes a GitHub release of main's zips. It doesn't reach the stores: that's /ci-publish. Arguments: $ARGUMENTS; refuse any.

Pass gh the origin repository (--repo <owner>/<repo>, from git remote get-url origin): the checkout has more than one remote.

1. It runs on what GitHub has, not the local checkout: git fetch origin --tags, then compare origin/main with the local main. If local work isn't on origin/main yet, say so and stop: don't push for the user.
2. v=$(node scripts/version.ts --ref origin/main): the version it gets.
3. Start it: gh workflow run release.yml --ref main. Then find the run it made (gh run list --workflow release.yml --branch main --event workflow_dispatch --limit 1 --json databaseId,url,status; it may take a few seconds to appear, so retry briefly) and give its URL and v.

Don't wait for the run to finish unless asked: its results are looked at afterwards (gh run view <id>, gh run watch <id>).