Skip to content
This repository has been archived by the owner on Sep 30, 2024. It is now read-only.

[Backport 5.1] zoekt: update to 3ce1f2b24c80b3dea89d237600d2b0879342ed1b #56551

Merged
merged 2 commits into from
Sep 13, 2023

Conversation

ggilmore
Copy link
Contributor

Manual backport of https://github.com/sourcegraph/sourcegraph/pull/56525 since there was merge conflicts.

Test plan

CI

(cherry picked from commit b32587f)

 Conflicts:
	internal/search/backend/zoekt.go
@ggilmore ggilmore requested review from camdencheek and a team September 12, 2023 16:24
@cla-bot cla-bot bot added the cla-signed label Sep 12, 2023
@sourcegraph-bot
Copy link
Contributor

sourcegraph-bot commented Sep 12, 2023

Codenotify: Notifying subscribers in CODENOTIFY files for diff a08566b...d5d1b21.

Notify File(s)
@bobheadxi monitoring/definitions/frontend.go
monitoring/definitions/git_server.go
monitoring/definitions/github_proxy.go
monitoring/definitions/repo_updater.go
monitoring/definitions/searcher.go
monitoring/definitions/shared/gitserver.go
monitoring/definitions/shared/grpc.go
monitoring/definitions/shared/http.go
monitoring/definitions/symbols.go
monitoring/definitions/worker.go
monitoring/definitions/zoekt.go
monitoring/monitoring/monitoring.go
@camdencheek internal/search/backend/BUILD.bazel
internal/search/backend/grpc.go
internal/search/backend/zoekt.go
@jtibshirani internal/search/backend/BUILD.bazel
internal/search/backend/grpc.go
internal/search/backend/zoekt.go
@keegancsmith internal/search/backend/BUILD.bazel
internal/search/backend/grpc.go
internal/search/backend/zoekt.go
@slimsag monitoring/definitions/frontend.go
monitoring/definitions/git_server.go
monitoring/definitions/github_proxy.go
monitoring/definitions/repo_updater.go
monitoring/definitions/searcher.go
monitoring/definitions/shared/gitserver.go
monitoring/definitions/shared/grpc.go
monitoring/definitions/shared/http.go
monitoring/definitions/symbols.go
monitoring/definitions/worker.go
monitoring/definitions/zoekt.go
monitoring/monitoring/monitoring.go
@sourcegraph/delivery doc/admin/observability/alerts.md
doc/admin/observability/dashboards.md
monitoring/definitions/frontend.go
monitoring/definitions/git_server.go
monitoring/definitions/github_proxy.go
monitoring/definitions/repo_updater.go
monitoring/definitions/searcher.go
monitoring/definitions/shared/gitserver.go
monitoring/definitions/shared/grpc.go
monitoring/definitions/shared/http.go
monitoring/definitions/symbols.go
monitoring/definitions/worker.go
monitoring/definitions/zoekt.go
monitoring/monitoring/monitoring.go

@ggilmore
Copy link
Contributor Author

@sourcegraph/release-guild Please merge this in. Thanks!

@sourcegraph-bot
Copy link
Contributor

sourcegraph-bot commented Sep 12, 2023

📖 Storybook live preview

@unknwon
Copy link
Member

unknwon commented Sep 12, 2023

FYI CI is failing

@ggilmore
Copy link
Contributor Author

@sourcegraph/release-guild Could you merge this in please? CI now passes after d5d1b21 (#56551)

@ggilmore ggilmore requested a review from a team September 12, 2023 20:36
@unknwon unknwon merged commit 1e61aa2 into 5.1 Sep 13, 2023
15 checks passed
@unknwon unknwon deleted the backport-grpc-zoekt-update branch September 13, 2023 00:00
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants