dolthub / dolthub/dolthub-issues
DoltHub repo names should not be distinguished by capitalization
Open
dolthubapi
- Dominant language
- No language data
- Stars
- 5
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
Contributor guide
No contributing guide indexed for this repository
Research direction
No files, tests, or entry points are mentioned; the issue contains only a screenshot. Start by locating DoltHub's repository-name handling and any case-sensitivity tests, then verify that names differing only by capitalization are treated as the same.
Written by the indexing model from the issue text.
Assessment
- Domain
- backend
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100