Skip to content

Fix an issue where upper-case letters in desired maintainers always cause a diff to be generated.#27

Merged
chrisgavin merged 2 commits intogithub:mainfrom
chrisgavin:case-sensitivity
Dec 5, 2023
Merged

Fix an issue where upper-case letters in desired maintainers always cause a diff to be generated.#27
chrisgavin merged 2 commits intogithub:mainfrom
chrisgavin:case-sensitivity

Commits