Using Sourcegraph To Search Centmin Mod Github Repository

Github.com repositories only allow searching commits and code from master branch. Centmin Mod 123.08stable and 123.09beta01 branches aren't able to be searched. But I discovered a wonderful service tool for Sourcegraph which allows you to search each Github repo's branch - master, 123.08stable and 123.09beta01 as well as save/bookmark your searches https://docs.sourcegraph.com/user/search/saved_searches

Right now Centmin Mod's current Github active branches are 123.08stable and 123.09beta01. Usually once weekly, active 123.09beta01 branch changes are then merged into master branch.

---

Examples

• Centmin Mod master branch https://sourcegraph.com/github.com/centminmod/centminmod@master
• Centmin Mod 123.08stable branch https://sourcegraph.com/github.com/centminmod/centminmod@123.08stable
• Centmin Mod 123.09beta01 branch https://sourcegraph.com/github.com/centminmod/centminmod@123.09beta01
• Comparing Centmin Mod master vs 123.09beta01 branch changes https://sourcegraph.com/github.com/centminmod/centminmod/-/compare/...123.09beta01

Sourcegraph search syntax documentation

• https://docs.sourcegraph.com/user/search/queries

Example of case sensitive search for the keyword = "NGINX_VERSION" in 123.09beta01 branch

 

Example search for commits made to 123.09beta01 between March 1, 2019 and April 30, 2019.

Code (Text):

repo:^github\.com/centminmod/centminmod$@123.09beta01 type:commit after:"mar 01 2019" before:"apr 30 2019"

Sourcegraph has a dark theme mode too