Closed greenhat closed 1 week ago
The lint was introduced lately and is failing on next
next
I clicked "merge" too soon - we should have probably merged it into next. Maybe we could make a PR that cherry-picks this commit into next?
My bad. I meant it to be for next. I cherry-picked it and made #1577
The lint was introduced lately and is failing on
next