Skip to content

fix: duplicate labels with ignore-case - #1797

Merged
pierrecamilleri merged 11 commits into
mainfrom
fix/header-case
Jul 28, 2026
Merged

fix: duplicate labels with ignore-case#1797
pierrecamilleri merged 11 commits into
mainfrom
fix/header-case

remove wordy comment

9e2b255
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar