fix: project_create — make GitHub mirror opt-in (mirror_to_github, default false) #17
Reference in New Issue
Block a user
Delete Branch "%!s()"
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
project_createcurrently always creates a GitHub repo and configures a push mirror.With the revised ADR (infra #34), GitHub mirror should be opt-in only.
Default behaviour: Gitea repo only.
Change
Add optional
mirror_to_githubparameter (default: false):When
mirror_to_github: false(default):create_github_repostepmirrorstepreachedonly contains:[create_repo, infra_commit, issue]github_urlis empty string in outputWhen
mirror_to_github: true(explicit opt-in):When to use mirror_to_github: true
Only for open source projects intended for public community:
Never for: client projects, business logic, infra, personal experiments.
Update tool descriptor
Document the parameter and default clearly in the tool description so claude.ai
sessions understand what they're opting into.
next_steps output
When
mirror_to_github: false, next_steps should reflect Gitea-only workflow:Acceptance criteria
mirror_to_githubparam added with default falseRelated