project_create currently 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.
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
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