Skip to content

search: don't fuzzy search repos if rev is specified

Administrator requested to merge sh/12892 into main

Created by: stefanhengl

Fixes #12892 Relates to #12476

This PR optimizes how we translate glob patterns of repo: filters

  1. If a revision is specified we don't fuzzify. Example: repo:foo@bar is mapped to repo:foo@bar, while repo:foo is mapped to repo:**foo**
  2. Heuristic for github.com because #12891 does not work for globbing if rev is not specified: repo:github.com/repo is mapped to repo:github.com/repo** instead of repo:**github.com/repo**.

Merge request reports