Skip to content

docs: restrict pull request labels to ownership only (filigran team / community) (#280)#281

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

docs: restrict pull request labels to ownership only (filigran team / community) (#280)#281
SamuelHassine merged 1 commit into
mainfrom
chore/pr-labels-ownership-only

Conversation

@SamuelHassine

Copy link
Copy Markdown
Member

Summary

Makes the shared label rule unambiguous so it can never be misread (by a human or an automated reviewer):

  • A pull request carries exactly one ownership label — filigran team or community — and nothing else.
  • Primary type labels (feature / bug / documentation), area/scope labels, and workflow/triage labels are issue-only and must never be added to a PR.
  • Exception: dependency-automation labels (dependencies) on Renovate/Dependabot PRs are exempt.

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

Closes #280

@SamuelHassine SamuelHassine merged commit d0f50d2 into main Jun 7, 2026
1 check passed
@SamuelHassine SamuelHassine deleted the chore/pr-labels-ownership-only branch June 7, 2026 21:17
@github-actions github-actions Bot added the filigran team Item from the Filigran team. label Jun 7, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

filigran team Item from the Filigran team.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

docs: restrict pull request labels to ownership only (filigran team / community)

2 participants