Skip to content

Conversation

@sobolevn
Copy link
Member

@sobolevn sobolevn commented Jun 8, 2024

Closes #11029

@github-actions

This comment has been minimized.

@sobolevn
Copy link
Member Author

sobolevn commented Jun 8, 2024

I can send a PR to stub-uploader with allowlist change, if needed.

@AlexWaygood
Copy link
Member

I can send a PR to stub-uploader with allowlist change, if needed.

yes please! I don't think this will be mergeable otherwise

@github-actions
Copy link
Contributor

Diff from mypy_primer, showing the effect of this PR on open source code:

porcupine (https://github.com/Akuli/porcupine)
+ porcupine/plugins/highlight/tree_sitter_highlighter.py:12: error: Library stubs not installed for "tree_sitter"  [import-untyped]
+ porcupine/plugins/highlight/tree_sitter_highlighter.py:12: note: Hint: "python3 -m pip install types-tree-sitter"
+ porcupine/plugins/highlight/tree_sitter_highlighter.py:12: note: (or run "mypy --install-types" to install all missing stub packages)

@AlexWaygood AlexWaygood merged commit 804a581 into main Jun 11, 2024
@AlexWaygood AlexWaygood deleted the issue-11029 branch June 11, 2024 10:13
max-muoto pushed a commit to max-muoto/typeshed that referenced this pull request Sep 8, 2024
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.

Remove tree-sitter (May 2024)

3 participants