Welcome to Centmin Mod Community
Become a Member

Using Sourcegraph To Search Centmin Mod Github Repository

Discussion in 'Centmin Mod News' started by eva2000, Apr 30, 2019.

Thread Status:
Not open for further replies.
  1. eva2000

    eva2000 Administrator Staff Member

    41,292
    9,265
    113
    May 24, 2014
    Brisbane, Australia
    Ratings:
    +14,216
    Local Time:
    12:46 PM
    Nginx 1.17.x
    MariaDB 5.5/10.x
    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
    Sourcegraph search syntax documentation
    Example of case sensitive search for the keyword = "NGINX_VERSION" in 123.09beta01 branch

    centminmod-123.09beta01-case-sensitive-search-nginx-version-01.png
     
    • Winner Winner x 2
  2. eva2000

    eva2000 Administrator Staff Member

    41,292
    9,265
    113
    May 24, 2014
    Brisbane, Australia
    Ratings:
    +14,216
    Local Time:
    12:46 PM
    Nginx 1.17.x
    MariaDB 5.5/10.x
    Example search for commits made to 123.09beta01 between March 1, 2019 and April 30, 2019.
    Code (Text):
    repo:^github\.com/centminmod/[email protected] type:commit after:"mar 01 2019" before:"apr 30 2019"

    Sourcegraph has a dark theme mode too :)

    centminmod-123.09beta01-commit-period-01.png
     
Thread Status:
Not open for further replies.