sourcegraph: fix unable to scrape syntect-server metrics (#385)

sourcegraph · Dec 21, 2023 · 5d63ea3 · 5d63ea3
1 parent 5faa5c5
commit 5d63ea3
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/charts/sourcegraph/CHANGELOG.md b/charts/sourcegraph/CHANGELOG.md
@@ -6,6 +6,8 @@ Use `**BREAKING**:` to denote a breaking change
 
 <!-- START CHANGELOG -->
 
+- Fixed unable to scrape `syntect-server` metrics [#385](https://github.com/sourcegraph/deploy-sourcegraph-helm/pull/385)
+
 ## 5.2.5
 
 - Sourcegraph 5.2.5 is now available

diff --git a/charts/sourcegraph/templates/syntect-server/syntect-server.Service.yaml b/charts/sourcegraph/templates/syntect-server/syntect-server.Service.yaml
@@ -1,10 +1,12 @@
 apiVersion: v1
 kind: Service
 metadata:
-  {{- if .Values.syntectServer.serviceAnnotations }}
   annotations:
+    prometheus.io/port: "6060"
+    sourcegraph.prometheus/scrape: "true"
+    {{- if .Values.syntectServer.serviceAnnotations }}
     {{- toYaml .Values.syntectServer.serviceAnnotations | nindent 4 }}
-  {{- end }}
+    {{- end }}
   labels:
     app: syntect-server
     deploy: sourcegraph