artin/sourcegraph
1
0
Fork 0
mirror of https://github.com/sourcegraph/sourcegraph.git synced 2026-02-06 18:51:59 +00:00
Code Issues Packages Projects Releases Wiki Activity
cb7034680d
sourcegraph/third_party/com_github_sourcegraph_zoekt
History
Dave Try 7b7e2bc8c1
bzl: remove from upsteam zoekt repo (#55516) 
Updates our reference to the zoekt repo which no longer has bazel. Adds
back in the patches we were previously using to ensure we're building
statically, as it was observed this affected indexing behaviour in
previous testing.

## Test plan

Tested with images built from this branch on a compose deployment, which
no observable issues.
2023-08-02 09:31:38 -05:00
..
BUILD.bazel bzl: remove from upsteam zoekt repo (#55516) 2023-08-02 09:31:38 -05:00
zoekt_archive_index.patch bzl: remove from upsteam zoekt repo (#55516) 2023-08-02 09:31:38 -05:00
zoekt_git_index.patch bzl: remove from upsteam zoekt repo (#55516) 2023-08-02 09:31:38 -05:00
zoekt_indexserver.patch bzl: remove from upsteam zoekt repo (#55516) 2023-08-02 09:31:38 -05:00
zoekt_webserver.patch bzl: remove from upsteam zoekt repo (#55516) 2023-08-02 09:31:38 -05:00