Closed ccwienk closed 2 months ago
GitHub effectively does case-folding (i.e. URLs with cases deviating from org/repo-names are redirected). Therefore, ignore cases to avoid unnecessary lookup-failures for irrelevant misconfiguration.
GitHub effectively does case-folding (i.e. URLs with cases deviating from org/repo-names are redirected). Therefore, ignore cases to avoid unnecessary lookup-failures for irrelevant misconfiguration.