Description:
Progress in this repo is insanely slow. Basic PR Review is being done automatically by GitHub Copilot since a while back. Review by GitHub Copilot has improved lately so it should provide even better feedback now than before but not always while taking into account the PR as a whole (i.e it can summarize what has changed but not the potential impact of those changes), the issue now is that someone has to review that feedback and incorporate it if it's correct.
Justification:
Any progress even for simple things is very slow
Are you willing to submit a PR?
Not at this time