sourcegraph: fix unable to scrape syntect-server metrics

[michaellzc]

Due to our prom config, service without specific labels are ignroed and won't be scraped.

https://github.com/sourcegraph/deploy-sourcegraph/blob/242be7c36d7b1b2481d62a2a95b07053311cdf54/base/prometheus/prometheus.ConfigMap.yaml#L131-L134

This PR added the missing required annotations, sourcegraph.prometheus/scrape=true, to syntect-server svc.

deploy-sourcegraph-helm/charts/sourcegraph/templates/searcher/searcher.Service.yaml

Lines 4 to 10 in 5faa5c5

	annotations:
	prometheus.io/port: "6060"
	sourcegraph.prometheus/scrape: "true"
	{{- if .Values.searcher.serviceAnnotations }}
	{{- toYaml .Values.searcher.serviceAnnotations | nindent 4 }}
	{{- end }}
	labels:

deploy-sourcegraph-helm/charts/sourcegraph/templates/syntect-server/syntect-server.Service.yaml

Lines 4 to 7 in 5faa5c5

	{{- if .Values.syntectServer.serviceAnnotations }}
	annotations:
	{{- toYaml .Values.syntectServer.serviceAnnotations | nindent 4 }}
	{{- end }}

Checklist

• Follow the manual testing process
• Update changelog
• Update Kubernetes update doc

Test plan

helm upgrade --install --create-namespace -n sourcegraph -f ./override.yaml sourcegraph charts/sourcegraph/.

k port-forward svc/sourcegraph-frontend 30080

Run up{} in explorer,

k port-forward svc/prometheus 30090

[michaellzc]

Current dependencies on/for this PR:

• main
  • PR sourcegraph: fix unable to scrape syntect-server metrics #385 👈

This stack of pull requests is managed by Graphite.

[filiphaftek]

Thx!