Skip to content

fix(registry): resolve repo casing case-insensitively on sync - #604

Merged
JSONbored merged 6 commits into
JSONbored:mainfrom
galuis116:fix/registry-sync-case-insensitive-fullname
Jun 13, 2026
Merged

fix(registry): resolve repo casing case-insensitively on sync#604
JSONbored merged 6 commits into
JSONbored:mainfrom
galuis116:fix/registry-sync-case-insensitive-fullname

Merge branch 'main' into fix/registry-sync-case-insensitive-fullname

8ccdc40
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Apply Gittensor reward label
succeeded Jun 13, 2026 in 4s