diff options
| -rw-r--r-- | AGENTS.md | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -438,6 +438,9 @@ Notes: - **Base the PR on `master`.** Merged PRs display a base of `github`, a transient integration branch SBo admins retarget onto and then delete. Open PRs target `master`; that is what you branch from and PR against. +- **PR body stays -stable-only.** SBo targets -stable, so do not mention that + the package was tested on -current in a PR body. If a test note is wanted, + reference 15.0 only, or omit it. - Reviewer feedback is addressed by amending and force-pushing the single commit, per the doc. Local history here needn't mirror that amendment. |