ci: skip lefthook on spec-sync bot push

pnpm install installs lefthook hooks on the runner, so the bot's git push runs typecheck/lint/build. When upstream schema drift breaks typecheck, the push fails and no PR is created. Set LEFTHOOK=0 and --no-verify so drift always opens a PR; the PR's own CI surfaces any breakage.

Author: felixweinberger

.github/workflows/update-spec-types.yml

@@ -51,14 +51,17 @@ jobs:
               if: steps.check_changes.outputs.has_changes == 'true'
               env:
                   GH_TOKEN: ${{ github.token }}
+                  # Skip lefthook pre-push (typecheck/lint/build); spec drift that breaks
+                  # typecheck should still open a PR so it can be fixed there.
+                  LEFTHOOK: 0
               run: |
                   git config user.name "github-actions[bot]"
                   git config user.email "github-actions[bot]@users.noreply.github.com"
 
                   git checkout -B update-spec-types
                   git add packages/core/src/types/spec.types.ts
                   git commit -m "chore: update spec.types.ts from upstream"
-                  git push -f origin update-spec-types
+                  git push -f --no-verify origin update-spec-types
 
                   # Create PR if it doesn't exist, or update if it does
                   PR_BODY="This PR updates \`packages/core/src/types/spec.types.ts\` from the Model Context Protocol specification.