lint(text=) finds local settings again#2863
Open
MichaelChirico wants to merge 30 commits intomainfrom
Open
Commits
Commits on Jun 21, 2025
Commits on Jun 22, 2025
Commits on Jun 30, 2025
Commits on Jul 14, 2025
Commits on Jul 29, 2025
- authored
- authored
- authored
- committed
- authored
- committed
- authored
- authored
- committed
- committed
- committed
- committed
- committed
- authored
- committed
- committed
- committed
- authored
- committed
- committed
- authored