Search Code with GitHub, Sourcegraph and Local Git
Narrow code searches by repository, language and path, distinguish GitHub and Sourcegraph query syntax, and reproduce a fixed-string search with local Git.
git / github / sourcegraph↗
github1
Practical notes on Java, Spring, testing, and software engineering, with working examples and source references.