Fast trigram based code search
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
nikos912000 opened this issue 6 years ago · comments
Similar to #65 it'd be good for the GitHub mirror to support GitHub Enterprise urls. @hanwen As you suggested, this can be integrated in zoekt-github-mirror.
Opening a new issue to ref in the PR.