Skip to content

Fix: Remove --example-workers 0 only from mypy-docs - #1893

Merged
adamtheturtle merged 3 commits into
mainfrom
fix-example-workers-removal
Jan 26, 2026
Merged

Fix: Remove --example-workers 0 only from mypy-docs#1893
adamtheturtle merged 3 commits into
mainfrom
fix-example-workers-removal

Conversation

@adamtheturtle

@adamtheturtle adamtheturtle commented Jan 26, 2026

Copy link
Copy Markdown
Member

The previous PR incorrectly removed --example-workers 0 from all hooks.

This PR reverts that and correctly removes it only from the mypy-docs hook, which is the one affected by the mypy bug.

See python/mypy#18283


Note

Adjusts docs-related pre-commit hooks to use consistent worker settings.

  • In .pre-commit-config.yaml, re-adds --example-workers 0 to doccmd entries for pyright-docs, vulture-docs, pylint-docs, interrogate-docs, ty-docs, and pyrefly-docs
  • Keeps mypy-docs without --example-workers 0 and adds a comment referencing the mypy issue
  • No application code changes; only pre-commit configuration updates

Written by Cursor Bugbot for commit d03397b. This will update automatically on new commits. Configure here.

This reverts the previous incorrect change that removed --example-workers 0 from all
hooks, and correctly removes it only from mypy-docs.

See python/mypy#18283
@adamtheturtle
adamtheturtle enabled auto-merge (squash) January 26, 2026 12:49
@adamtheturtle
adamtheturtle merged commit 874e549 into main Jan 26, 2026
10 checks passed
@adamtheturtle
adamtheturtle deleted the fix-example-workers-removal branch January 26, 2026 12:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant