From 85579781c7c1a3f499fb674182fa1ce40f13f8e5 Mon Sep 17 00:00:00 2001
From: Keegan Carruthers-Smith <keegan.csmith@gmail.com>
Date: Mon, 17 Jul 2023 16:25:18 +0200
Subject: [PATCH] ci: remove sync-zoekt step

This step currently generates incomplete PRs since it hasn't been
updated to handle bazel yet. I'm unsure how to make it do that, so I'd
rather just remove it for now and add it back once we want to do that.

Test Plan: CI
---
 .github/workflows/ci.yml | 48 ----------------------------------------
 1 file changed, 48 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 7d67839b2..daae52cfd 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -146,51 +146,3 @@ jobs:
           file: Dockerfile.indexserver
           cache-from: sourcegraph/zoekt-indexserver:latest
           push: true
-
-  # We can only run this after a successful docker push otherwise the CI in sourcegraph will fail.
-  sync-zoekt:
-    if: github.ref == 'refs/heads/main'
-    runs-on: ubuntu-latest
-    needs:
-      - "docker"
-    steps:
-      - uses: actions/checkout@v3
-        with:
-          repository: 'sourcegraph/sourcegraph'
-          ref: 'main'
-      - uses: actions/setup-go@v2
-        with: { go-version: '1.19' }
-      - run: go mod download
-      - run: ./dev/zoekt/update
-      - uses: peter-evans/create-pull-request@v3
-        if: github.event_name == 'push'
-        name: 'Create PR'
-        id: pr
-        with:
-          token: ${{ secrets.GH_TOKEN }}
-          title: 'zoekt: update to sourcegraph/zoekt@${{ github.sha }}'
-          commit-message: 'zoekt: update to sourcegraph/zoekt@${{ github.sha }}'
-          body: |
-            This PR is autogenerated to update to sourcegraph/zoekt@${{ github.sha }}
-
-            ## Test Plan
-
-            Testing is done on the zoekt repo. All checks on this PR are sufficient.
-
-          branch: 'zoekt/update'
-          delete-branch: 'true'
-          team-reviewers: 'search-team'
-          base: 'main'
-
-      - name: 'Check PR outputs'
-        run: |
-          echo "Pull Request Number - ${{ steps.pr.outputs.pull-request-number }}"
-          echo "Pull Request URL - ${{ steps.pr.outputs.pull-request-url }}"
-      - uses: peter-evans/enable-pull-request-automerge@v1
-        name: Enable Pull Request Automerge
-        if: steps.pr.outputs.pull-request-operation == 'created'
-        with:
-          token: ${{ secrets.GH_TOKEN }}
-          pull-request-number: ${{ steps.pr.outputs.pull-request-number }}
-          merge-method: squash
-          repository: 'sourcegraph/sourcegraph'