Android: ignore case sensitivity in git file search
Nobody has claimed this yet.
- Dominant language
- Go
- Stars
- 9.2k
- Forks
- 1.3k
- Avg merge
- 12h 58m
- Merged PRs (30d)
- 56
Description
What I did
Opened a git repository and used the search box at the top of the screen to search for a file. I entered part of the file name in lower case.
What happened
No file could be found.
What I expected to happen
To find the file because the file exists with the word I entered in it's file name. The name of the file included upper case characters though and it appears the search is case sensitive.
Why did I expect this
As a human I don't actually care for case much. It helps when I'm writing or reading, but when I'm looking for a file restricting the result set to the files matching exact case isn't useful to me and is a hindrance.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start at the Android screen that searches files in an opened Git repository and reproduce the case-sensitive search with a mixed-case filename. Trace the search entry point and its matching behavior, then verify that a lowercase query finds the existing file without breaking other file-search results.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- android, git
- Domain
- mobile, search
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100