Skip to content

Make repo names case-insensitive#6750

Open
Jackenmen wants to merge 4 commits into
Cog-Creators:V3/developfrom
Jackenmen:make_repo_names_case_insensitive
Open

Make repo names case-insensitive#6750
Jackenmen wants to merge 4 commits into
Cog-Creators:V3/developfrom
Jackenmen:make_repo_names_case_insensitive

Fix repo folder rename

c08c9ee
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
label_pull_requests
succeeded May 15, 2026 in 21s