Agents (AI/automation) must NEVER be allowed to merge a pull request onto the main branch. All merging must be done manually via the tea CLI tool.
Rules:
No agent may issue a gh pr merge or any GitHub merge command.
No agent may push directly to main.
All PR merges must be performed by a human using tea (the Gitea CLI).
CI must pass on the PR before merging.
This policy ensures that no automated system can bypass human review or break the main branch. Document this in AGENTS.md and enforce it in any agent instructions.
Agents (AI/automation) must NEVER be allowed to merge a pull request onto the `main` branch. All merging must be done manually via the `tea` CLI tool.
Rules:
1. No agent may issue a `gh pr merge` or any GitHub merge command.
2. No agent may push directly to `main`.
3. All PR merges must be performed by a human using `tea` (the Gitea CLI).
4. CI must pass on the PR before merging.
This policy ensures that no automated system can bypass human review or break the main branch. Document this in AGENTS.md and enforce it in any agent instructions.
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.
Agents (AI/automation) must NEVER be allowed to merge a pull request onto the
mainbranch. All merging must be done manually via theteaCLI tool.Rules:
gh pr mergeor any GitHub merge command.main.tea(the Gitea CLI).This policy ensures that no automated system can bypass human review or break the main branch. Document this in AGENTS.md and enforce it in any agent instructions.
This policy is now documented in AGENTS.md. Agents are instructed to never push to main and to use tea CLI for operations. Closing as resolved.