Skip to content

fix: replace the dead code.redrob.ai install URL and homepage links - #110

Merged
its-janghoon merged 1 commit into
developfrom
fix/install-url
Oct 15, 2026
Merged

its-janghoon merged 1 commit into
developfrom
fix/install-url

Conversation

@its-janghoon

Copy link
Copy Markdown
Member

fix: replace the dead code.redrob.ai install URL and homepage links

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.

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.
@its-janghoon
its-janghoon merged commit fa9e1e2 into develop Oct 15, 2026
17 checks passed
@its-janghoon
its-janghoon deleted the fix/install-url branch October 15, 2026 05:59
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