typeshed-internal / stub_uploader

Scripts and actions to auto-upload typeshed stubs to PyPI
Apache License 2.0
21 stars 16 forks source link

Mention pyright in the stubs' README #84

Closed Avasam closed 1 year ago

Avasam commented 1 year ago

Same suggestion as https://github.com/python/typeshed/pull/9472

Avasam commented 1 year ago

Maybe add pyre to this list as well? pyre has 6.2k stars on GitHub compared to e.g. 4k stars for pytype :)

Sure can, I just didn't remember about pyre since typeshed doesn't text directly against it.

srittau commented 1 year ago

I think we should skip pyre for now, since the stubs are not tested against it.

AlexWaygood commented 1 year ago

I think we should skip pyre for now, since the stubs are not tested against it.

I don't have a strong opinion on this! This PR is a clear improvement as-is; I don't want to block it