docs: drop "forge" jargon for concrete wording #99
Reference in New Issue
Block a user
Delete Branch "docs/drop-forge-jargon"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Summary
We use Gitea, not an abstract "forge" — drop the jargon across the pre-existing research/PRD docs, rewording to preserve meaning.
Changes
docs/research/secret-minimization-over-dlp.md— "Forge-API gate" → "Git-host-API gate" (still spans Gitea / GitHub / GitLab);KNOWN_FORGE_HOSTS→KNOWN_GIT_HOSTS.docs/research/agent-credential-proxy-landscape.md— "forge tokens" → "Git-host tokens"; example manifest fieldforge: { kind: "gitea" … }→git_host: { … }.docs/prds/0012-stuck-agent-recovery-flow.md— "Git/forge history" → "Git/Gitea history".Notes
mainyet).