Agents must never merge PRs onto main — use tea CLI instead #147

Closed
opened 2026-07-29 18:12:07 +02:00 by TapTap · 1 comment
Owner

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.

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.
Author
Owner

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.

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.
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: TapTap/FastSync#147