Def checkTitleLabels

Modification history

2026-10-27 22:35
scripts/check-title-labels.lean
chore: rename check_title_labels in kebap-case (#44306) …
Added checkTitleLabelsView on Github →
2025-11-19 14:54
scripts/check_title_labels.lean
feat: check for PR titles which do not start with "feat" etc. (#29512) …
Added checkTitleLabelsView on Github →