https://pantsbuild.org/ logo
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)