Conversation
…239) Brings the develop-mirror learning in `AGENTS.md` into line with the fully-converged wording in the sibling repo (both refinements surfaced from the Copilot review loop there): - **Mirror clarifier**: state explicitly that "Mirror" means landing the same fix directly on `develop` via a follow-up PR targeting `develop` - never a `main -> develop` back-merge (which the forward-only rule forbids). Removes an ambiguity a reviewer flagged: "Mirror to develop" could otherwise be misread as recommending a back-merge. - **Grammar**: add the missing verb in the staleness parenthetical ("occasionally `develop` **is** reworking a `main`-side fix differently"). Net effect: the mirror/staleness bullet is now byte-identical to the sibling repo's, so the two read consistently. Targets `develop`; the `develop -> main` promotion PR will carry it. No issue to close. Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Contributor
There was a problem hiding this comment.
Pull request overview
Promotes the AGENTS.md documentation refinement from #239 onto main, clarifying the intended meaning of “mirror to develop” and tightening grammar in the staleness-check guidance.
Changes:
- Clarifies that “mirror” means a follow-up PR directly targeting
develop, not amain -> developback-merge. - Fixes a missing verb in the staleness parenthetical (“develop is reworking …”).
Grammar fix flagged by Copilot on promotion PR #240: "'Mirror' means land the same fix" uses a bare infinitive after "means". Change to "means **landing**" (gerund). Kept in lockstep with the sibling repo (same one-word fix applied there) so the mirror/staleness bullet stays byte-identical across both. Targets `develop`; promotion #240 will carry it. No issue to close. Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Promotes #239 to
main.What's promoted
develop(never amain -> developback-merge), and fix the missing verb in the staleness parenthetical. Both refinements came out of the sibling repo's Copilot review loop; this brings the mirror/staleness bullet to byte-identical wording across the two repos.Diff
developis a clean superset ofmain- oneAGENTS.mdline modified (a-/+pair, i.e. develop's own edit; no deletion-only hunk, so nomain-only stragglers).