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: @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)