Channels
welcome
github-notifications
development
announce
random
plugins
general
pex
Powered by
#development
Title
l
loud-laptop-17949
01/11/2023, 9:30 PM
I am testing out pyright on our repo and there are a few fixes on main that I would love on 2.15:
https://github.com/pantsbuild/pants/commit/f5090bcaa3d162ed24ff782b091ac88c10a66c07
https://github.com/pantsbuild/pants/commit/8236cd403b1296473c71eba73dc7f7fa6f0b4dcd
@wide-midnight-78598
would you be down to cherry-pick these to 2.15?
I am going to create some cherry-pick PRs for these, in case that makes it easer (note that the script does not fully work for non-maintainers, so I had to comment out the part that adds reviewers)
first one:
https://github.com/pantsbuild/pants/pull/17980
Post