[Merged by Bors] - Restructure lint lists in boa_engine
#2455
Closed
raskad wants to merge 4 commits intomain from restructure-lints-boa-engine
+1,916-956
Commits
Commits on Nov 22, 2022
Commits on Nov 23, 2022
- committed
- committed
- committed