Commits

History for

Commits on Jun 3, 2026

Remove prototype folder (#9505)
NicolasHug
authored

Commits on Jan 26, 2022

Add build to the set of secondary labels (#5288)
prabhat00155
authored

Commits on Oct 20, 2021

add `prototype` to primary labels (#4669)
pmeier
authored

Commits on Oct 14, 2021

Update PR labeling requirements (#4618)
NicolasHug
authored

Commits on Jun 17, 2021

Only tag merger if PR isn't properly labeled, not all reviewers (#4081)

NicolasHug
and
pmeier
authored

Commits on Jun 9, 2021

Fix workflow for pinging maintainers in case of unlabeled PRs (#4021)
pmeier
authored

Loading