Agents must never merge PRs onto main — use tea CLI instead #147
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?
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.