Repository navigation
Merge Gitea main into GitHub main - #51
Open
AlexMikhalev wants to merge 8 commits into
Open
AlexMikhalev wants to merge 8 commits into
AlexMikhalev wants to merge 8 commits into
Conversation
…primary - Replace cargo install terraphim_agent as headline with curl installer (recommended) - Add note explaining crates.io carries older versions (private-registry constraint) - Fix Homebrew formula names (terraphim-ai → terraphim-agent terraphim-grep) - Replace hardcoded v1.20.5 GitHub release URLs with downloads.terraphim.ai channel - Replace stale Debian .deb section with binary downloads from channel - Fix Windows section (WSL only, native archives not on stable channel) - Bump version example from 1.20.5 to 1.21.22 Root cause: terraphim_agent is permanently blocked from crates.io publishes by .github/workflows/publish-crates.yml (#95) due to terraphim_sessions dependency resolving only against the private terraphim registry.
…, curl installer is the primary path' (#11) from fix/promotion-install-accuracy into main
…#13) from task/12-doc-sessions-auto-import into main
Reconcile the two forges. Keep Gitea's blog links, redirect, Cargo warning, session import docs and two-formula Homebrew command. Keep GitHub's versioned install text, because Gitea's -latest- archive URLs return 404 and the installer installs only terraphim-agent by default. Refs #15 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Refs #15 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This branch has not been deployed
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Merges Gitea
main(a0d3f57) into GitHubmainso the two forges can share one history (Gitea #15). After this lands, Giteamaincan fast-forward to the same SHA with no force push.Kept from Gitea
/posts/teaching-ai-agents-to-learn-from-their-mistakes, which is a live 404Dropped from Gitea
terraphim-agent-latest-*archive URLs: the channel returns 404 for them, while versioned URLs return 200install.shneeds--with-cliand--with-grepfor the other twoKnown issue, not changed here
content/docs/installation.mdstill shows| bash --with-cliand similar forms. Gitea #14 and #16 record these as broken; the fix isbash -s --.Verification
python3 -m unittest discover -s scripts -p 'test_*.py': all pass, including the same-site link testCheck release-link driftin CI: pass. The same check run locally without a token hit a GitHub 403, so CI is the evidence.🤖 Generated with Claude Code