Skip to content

Tighten up the linting rules#197

Merged
davep merged 7 commits intomainfrom
tighten-linting
Feb 2, 2026
Merged

Tighten up the linting rules#197
davep merged 7 commits intomainfrom
tighten-linting

Conversation

@davep
Copy link
Owner

@davep davep commented Feb 2, 2026

No description provided.

@davep davep self-assigned this Feb 2, 2026
@davep davep added the Housekeeping General codebase housekeeping label Feb 2, 2026
@davep davep merged commit a7f70c0 into main Feb 2, 2026
4 checks passed
@davep davep deleted the tighten-linting branch February 2, 2026 17:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Housekeeping General codebase housekeeping

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant