gomod: bump zoekt (!9488) · Merge requests · Administrator / sourcegraph

Administrator requested to merge core/update-zoekt into master Apr 01, 2020

Created by: keegancsmith

ef3ec23 zoekt-webserver: sourcegraph disk prometheus metric
d7ab4e5 Merge remote-tracking branch 'gerrit/master'
30af23a build-deploy: use bash interpreter
172db89 gitindex: remove ignoreMissingSubmodules field
444c275 add tini to Dockerfiles
16fa237 ci: build and push docker images (https://github.com/sourcegraph/zoekt/pull/42)
4b034fd remove vendor
63d51fa github: add go test workflow (https://github.com/sourcegraph/zoekt/pull/41)
52a2f11 gitindex: set git username and email in tests
ebb2468 gitindex: set git username and email in tests
339fc57 go mod vendor
94908aa Merge remote-tracking branch 'gerrit/master'
e55b1e7 shards: prometheus metrics for sharded search

gomod: bump zoekt