Skip to content

docs: restrict pull request labels to ownership only (filigran team / community) (#148) - #149

Merged
Samuel Hassine (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) (#148)#149
Samuel Hassine (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 #148

Copilot AI review requested due to automatic review settings June 7, 2026 21:17
@SamuelHassine
Samuel Hassine (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

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Updates the repository’s labeling documentation to make PR labeling rules explicit: PRs should carry only a single ownership label (filigran team or community), while type/area/workflow labels are issue-only (with a dependency-bot exception).

Changes:

  • Tightened CONTRIBUTING conventions to state PRs are ownership-labeled only (with Renovate/Dependabot dependency-label exception).
  • Reworded LABELS.md to explicitly prohibit non-ownership labels on PRs and mark area labels as issue-only.
  • Updated ownership label descriptions in .github/labels.yml to emphasize PR ownership labeling.

Reviewed changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated 5 comments.

File Description
CONTRIBUTING.md Clarifies PR labeling policy in the shared conventions block.
.github/labels.yml Adjusts ownership label descriptions to be more explicit about PR ownership labeling.
.github/LABELS.md Makes the PR labeling restriction and issue-only labels rule explicit and adds checklist updates.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread .github/labels.yml
- name: filigran team
color: "4a0c43"
description: "Item from the Filigran team."
description: "Ownership: from the Filigran team. The PR ownership label for Filigran-authored pull requests."
Comment thread .github/labels.yml
- name: community
color: "268e45"
description: "Contribution from the community."
description: "Ownership: from the community. The PR ownership label for community-authored pull requests."
Comment thread .github/labels.yml
Comment on lines 78 to +84
# ── Ownership / community labels ──
- name: filigran team
color: "4a0c43"
description: "Item from the Filigran team."
description: "Ownership: from the Filigran team. The PR ownership label for Filigran-authored pull requests."
- name: community
color: "268e45"
description: "Contribution from the community."
description: "Ownership: from the community. The PR ownership label for community-authored pull requests."
Comment thread .github/LABELS.md
Comment on lines +74 to +75
> request; remove any that appear. The PR's `type:` title prefix and its linked
> issue already convey the type and the affected area.
Comment thread CONTRIBUTING.md
Comment on lines +55 to +56
workflow labels are issue-only (Renovate/Dependabot dependency labels are
exempt). Do not use the deprecated `enhancement` / `feature request` labels —
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