Skip to content

Apply PR orchestration thresholds per repository - #435

Merged
helly25 merged 2 commits into
mainfrom
docs/per-repository-pr-orchestration
Sep 8, 2026
Merged

helly25 merged 2 commits into
mainfrom
docs/per-repository-pr-orchestration

Conversation

@helly25

@helly25 helly25 commented Sep 7, 2026 •

Copy link
Copy Markdown
Collaborator

Apply PR orchestration thresholds separately within each repository. A rollout with one PR in each of seven repositories should remain seven independent merges, without triggering mandatory delegation or treating them as one integration group.

AG;DR

  • Clarify the delegation threshold in AGENTS.md: count only the in-scope PRs in the same repository.
  • Apply the same scope to the large-graph and autonomous-orchestration rules in GIT_RULES.md.
  • Make integration-branch grouping explicitly repository-local while retaining the requirement to track genuine cross-repository dependencies.

Documentation only; no workflow or merge-policy changes. Focused pre-commit checks and git diff --check passed before push. No merge dependencies on the release-site rollout.

Synchronized with main after #433 and #434 merged so the required checks validate the current base. The final diff remains limited to the per-repository clarification in AGENTS.md and GIT_RULES.md; CI is running on the new pushed head.

Signed-off-by: helly25 <6420169+helly25@users.noreply.github.com>
…r-orchestration

Signed-off-by: helly25 <6420169+helly25@users.noreply.github.com>
@helly25
helly25 merged commit 06a3146 into main Sep 8, 2026
16 checks passed
@helly25
helly25 deleted the docs/per-repository-pr-orchestration branch September 8, 2026 01:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant