Skip to content

Remove dead Option::ONLY constant - #73

Merged
TomasVotruba merged 1 commit into
mainfrom
remove-dead-only-option
Sep 5, 2026
Merged

Remove dead Option::ONLY constant#73
TomasVotruba merged 1 commit into
mainfrom
remove-dead-only-option

Conversation

@TomasVotruba

Copy link
Copy Markdown
Member

Option::ONLY had zero references anywhere in src/config/bin/tests; the backing 'only' filtering feature is already gone. Removing the dead constant.

https://claude.ai/code/session_01YGEUtPPL7JkEnLNSyowiGw

No references anywhere; backing 'only' filtering feature already removed.

Claude-Session: https://claude.ai/code/session_01YGEUtPPL7JkEnLNSyowiGw
@TomasVotruba
TomasVotruba merged commit 1742943 into main Sep 5, 2026
8 checks passed
@TomasVotruba
TomasVotruba deleted the remove-dead-only-option branch September 5, 2026 11:26
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.

1 participant