dolthub / dolthub/dolthub-issues
Databases in the same organization on DoltHub that have different capitalizations can exist but collide on clone
Open
bug
dolthubapi
- Dominant language
- No language data
- Stars
- 5
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
We had two databases `dolthub/shaq` and `dolthub/SHAQ`. When I already had `shaq` cloned and tries to clone `SHAQ`, clone complained I already had it.
We should either fix dolt to allow for different capitalizations or restrict the namespace on DoltHub.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.