Now that #3216 has been merged, existing PRs will have to be adjusted using the following method :

1. ALWAYS backup the branch locally, e.g. git branch backup/<original-name>
2. Recover lint changes from main
   • If the branch is from an external fork, create a local backup branch
   • Rebase on top of main (preferred)
   • Or re-create in a fresh branch from main and cherry-pick the feature commits from the previous branch
3. Run pre-commit hooks only on files changed by the PR
4. Re-open or push as usual, wait for CI to pass

Maintainers may close and re-open existing PRs or rebase it as part of this process. Contributors are not expected, but are welcome to, help with this procedure.