Skip to content

Derive accepted PR labels from the repository - #33

Merged
steve-calvert-glean merged 1 commit into
mainfrom
codex/dynamic-pr-labels
Aug 11, 2026
Merged

Derive accepted PR labels from the repository#33
steve-calvert-glean merged 1 commit into
mainfrom
codex/dynamic-pr-labels

Commits

Commits on Aug 11, 2026