From f615ad1beeb158cb9c340bcbfb15bf4bf4fa9571 Mon Sep 17 00:00:00 2001
From: Jean-Hadrien Chabran <jh@chabran.fr>
Date: Thu, 1 Feb 2024 12:52:52 +0100
Subject: [PATCH] Also push executors

---
 release.yaml | 26 ++++++++++++++++++--------
 1 file changed, 18 insertions(+), 8 deletions(-)

diff --git a/release.yaml b/release.yaml
index 02b4e8d8..8e14df5c 100644
--- a/release.yaml
+++ b/release.yaml
@@ -29,14 +29,15 @@ internal:
               --docker-password=$DOCKER_PASSWORD \
               --pin-tag {{inputs.server.tag}} \
               base/
-        # - name: "sg ops (executors)"
-        #   cmd: |
-        #     sg ops update-images \
-        #       --kind k8s \
-        #       --docker-username=$DOCKER_USERNAME \
-        #       --docker-password=$DOCKER_PASSWORD \
-        #       --pin-tag {{tag}} \
-        #       components/executors/
+        - name: "sg ops (executors)"
+          cmd: |
+            sg-rfc795 ops update-images \
+              --kind k8s \
+              --registry us-central1-docker.pkg.dev/sourcegraph-ci/rfc795-internal \
+              --docker-username=$DOCKER_USERNAME \
+              --docker-password=$DOCKER_PASSWORD \
+              --pin-tag {{inputs.server.tag}} \
+              components/executors/
         - name: "git"
           cmd: |
             echo "Creating branch wip_{{version}}"
@@ -87,6 +88,15 @@ promoteToPublic:
             --docker-password=$DOCKER_PASSWORD \
             --pin-tag {{inputs.server.tag}} \
             base/
+      - name: "sg ops (executors)"
+        cmd: |
+          sg-rfc795 ops update-images \
+            --kind k8s \
+            --registry us-central1-docker.pkg.dev/sourcegraph-ci/rfc795-public \
+            --docker-username=$DOCKER_USERNAME \
+            --docker-password=$DOCKER_PASSWORD \
+            --pin-tag {{inputs.server.tag}} \
+            components/executors/
       - name: "git"
         cmd: |
           echo "Creating branch promote-release_{{version}}"