ci: remove sync-zoekt step

.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'