Commit 86e06dc
Add Copilot instructions for PR labeling
We have no `.github/copilot-instructions.md`, so agents opening PRs have no
guidance on labels. That matters because GitHub's auto-generated release notes
categorize merged PRs by their `Issue-*` label (see `.github/release.yml`):
`Issue-Enhancement` and `Issue-Bug` get their own sections, and everything
else falls through the `"*"` catch-all into "Other Changes 🙏". A PR with no
`Issue-*` label is silently miscategorized.
This adds a short "Pull Request Labels" policy: every PR needs at least one
`Area-*` label and exactly one `Issue-*` label, plus `OS-*` when relevant and
`Ignore` to exclude from the changelog. It references `.github/release.yml` as
the source of truth for the changelog mapping and tells readers to run
`gh label list` for the authoritative label set rather than hard-coding one
that will drift.
Drafted by Copilot (Claude Opus 4.8).
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>1 parent 6ad4f46 commit 86e06dc
1 file changed
Lines changed: 37 additions & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
0 commit comments