Skip to content

docs: clarify primary type labels are issues-only (PRs use ownership labels) (#321)#322

Merged
SamuelHassine merged 1 commit into
mainfrom
chore/labels-pr-clarification
Jun 7, 2026
Merged

docs: clarify primary type labels are issues-only (PRs use ownership labels) (#321)#322
SamuelHassine merged 1 commit into
mainfrom
chore/labels-pr-clarification

Conversation

@SamuelHassine

Copy link
Copy Markdown
Member

Summary

Clarifies the shared label taxonomy so it can never be misread (by a human or an automated reviewer):

  • Primary type labels (feature / bug / documentation) are applied to issues only, alongside the GitHub issue Type.
  • Pull requests do not carry a primary type label — the type: title prefix conveys the type. PRs should instead carry an ownership label (filigran team / community) to differentiate the author, plus any useful area/workflow labels.

Updated .github/LABELS.md, .github/labels.yml, and the CONTRIBUTING conventions block.

Closes #321

@SamuelHassine SamuelHassine merged commit dab6189 into main Jun 7, 2026
@SamuelHassine SamuelHassine deleted the chore/labels-pr-clarification branch June 7, 2026 21:03
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.

docs: clarify primary type labels are issues-only (PRs use ownership labels)

1 participant