remove push-schema workflow (#41733)

.github/workflows/push-schema.yml

@@ -1,34 +0,0 @@
-name: 'Sync GraphQL schema to sourcegraph/code-intel-extensions'
-
-on:
-  push:
-    paths:
-      - 'cmd/frontend/graphqlbackend/schema.graphql'
-    branches:
-      - main
-
-  workflow_dispatch:
-    branches:
-      - main
-
-jobs:
-  sync-schema:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v3
-        with:
-          repository: 'sourcegraph/code-intel-extensions'
-        env:
-          GH_TOKEN: ${{ secrets.BOT_GITHUB_TOKEN }}
-      - name: Create PR if applicable
-        run: |
-          wget -o schema/schema.graphql https://github.com/sourcegraph/sourcegraph/blob/main/cmd/frontend/graphqlbackend/schema.graphql
-          if ! git diff --quiet; then
-            git config user.name sourcegraph-bot
-            git config user.email sourcegraph-bot-github@sourcegraph.com
-            git checkout -b "sync-bot/$(date -Iminutes | sed -e 's/:/./g')"
-            git add schema/schema.graphql
-            TITLE="schema: Sync GraphQL schema from sourcegraph/sourcegraph."
-            git commit -m "$TITLE"
-            gh pr create --fill --body "Created by GitHub Action.\n\n### Test Plan\n\nRun CI testing."
-          fi