Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Allow glob matching in addition to fuzzy matching on Requests and Tasks page #1032

Merged
merged 6 commits into from Jun 7, 2016
Merged

Allow glob matching in addition to fuzzy matching on Requests and Tasks page #1032

merged 6 commits into from Jun 7, 2016

Commits on May 6, 2016

  1. Allow glob matching in addition to fuzzy matching - if there are glob… 

    … characters, it'll be a glob match, otherwise it'll be a fuzzy match
    Calvin Pomerantz committed May 6, 2016
    Copy the full SHA
    4fba48a View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into fuzzy-match-globs

    Calvin Pomerantz committed May 6, 2016
    Copy the full SHA
    1f56b5a View commit details
    Browse the repository at this point in the history

Commits on May 9, 2016

  1. updates to glob matching

    @ssalinas
    ssalinas committed May 9, 2016
    Copy the full SHA
    bf047fc View commit details
    Browse the repository at this point in the history

Commits on May 10, 2016

  1. Merge branch 'master' into fuzzy-match-globs

    @ssalinas
    ssalinas committed May 10, 2016
    Copy the full SHA
    c862700 View commit details
    Browse the repository at this point in the history

Commits on May 11, 2016

  1. glob should behave as if ending in * for better results

    @ssalinas
    ssalinas committed May 11, 2016
    Copy the full SHA
    e0ccdbd View commit details
    Browse the repository at this point in the history

Commits on Jun 7, 2016

  1. Merge branch 'master' into fuzzy-match-globs

    tpetr committed Jun 7, 2016
    Copy the full SHA
    fbfd34b View commit details
    Browse the repository at this point in the history