Skip to content

Promote develop to main (v0.6.6) - #112

Merged
its-janghoon merged 3 commits into
mainfrom
develop
Oct 15, 2026
Merged

its-janghoon merged 3 commits into
mainfrom
develop

Conversation

@its-janghoon

Copy link
Copy Markdown
Member

Promotion for v0.6.6 (tag already published by the release workflow). Carries #110 and #111: every code.redrob.ai reference removed, config/tui/theme schemas committed under packages/redrob/schema/ so console.redrob.ai/code/*.json resolve.

…110)

code.redrob.ai has no DNS record. The GitHub Action's install step now
runs the installer served at https://console.redrob.ai/code/install.sh,
which puts the binary in ~/.redrob/bin as the following step expects.
The action README and the nix homepage link to the Code page on Console.

Left alone on purpose: the config $schema URL and the HTTP-Referer
values on third-party providers, which are identifiers rather than
addresses anyone fetches.
…hemas (#111)

code.redrob.ai has no DNS record. Links, install commands and HTTP-Referer now point at console.redrob.ai/code; $schema lines point at console.redrob.ai/code/{config,tui,theme}.json and the schemas are generated into packages/redrob/schema/ (gated by check:generated). The GitHub Action loses its serverless App token exchange (api.code.redrob.ai never existed) and takes a plain token input. CI bot email moved to the noreply address.
@its-janghoon
its-janghoon merged commit 36fd542 into main Oct 15, 2026
37 checks passed

This branch was successfully deployed

1 active deployment
release — efe28443 Deployed Oct 15, 2026 by its-janghoon via publish / Publish GitHub release #39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant