Closed snejus closed 2 weeks ago
So that point is that we're not enforcing this at all, so there's no point in even having the check; is that correct?
So that point is that we're not enforcing this at all, so there's no point in even having the check; is that correct?
Indeed.
Adding to that, it's removing a rule that enforces a practice from a defunct practice. Since that's the case, and we're not even really using it, I think it can be removed.
Merge when you want @snejus
Have come across this interesting case since I submitted a PR with an edit in a file that falls out of these exclusion rules: #5233 . :grin: