Closed ocefpaf closed 6 months ago
While this will cause some churn we only have 3 open PRs, 2 are "merged" and the other one is a draft of an idea. That menas we only have 1 real open PR and the best time to change linters is now!
While this will cause some churn we only have 3 open PRs, 2 are "merged" and the other one is a draft of an idea. That menas we only have 1 real open PR and the best time to change linters is now!