Skip to content

Add an optional strict mode - #12

Merged
davep merged 4 commits into
mainfrom
add-strict-mode
Aug 12, 2026
Merged

Add an optional strict mode#12
davep merged 4 commits into
mainfrom
add-strict-mode

Conversation

@davep

@davep davep commented Aug 12, 2026

Copy link
Copy Markdown
Owner

Closes #11.

@davep davep self-assigned this Aug 12, 2026
@davep davep added Enhancement New feature or request TODO A thing I'm planning on doing labels Aug 12, 2026
@davep
davep marked this pull request as ready for review August 12, 2026 12:40
@davep
davep merged commit 17302d6 into main Aug 12, 2026
7 checks passed
@davep
davep deleted the add-strict-mode branch August 12, 2026 12:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Enhancement New feature or request TODO A thing I'm planning on doing

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add an optional (off by default) strict mode

1 participant