Skip to content

chore: Add nolints to work around haywire linters#7493

Merged
mholt merged 2 commits intomasterfrom
fix-bad-lints
Feb 17, 2026
Merged

chore: Add nolints to work around haywire linters#7493
mholt merged 2 commits intomasterfrom
fix-bad-lints

Conversation

@mholt
Copy link
Member

@mholt mholt commented Feb 17, 2026

Love babysitting the linters...

Assistance Disclosure

No AI was used. I'm not convinced it would be smarter than the linters.

@mholt mholt merged commit 95941a7 into master Feb 17, 2026
30 checks passed
@mholt mholt deleted the fix-bad-lints branch February 17, 2026 23:52
This was referenced Feb 20, 2026
@francislavoie francislavoie mentioned this pull request Feb 20, 2026
4 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants