Skip to content

Preserve types with __getitem__ - #56

Merged
connorjward merged 3 commits into
mainfrom
connorjward/types
Sep 10, 2026
Merged

connorjward merged 3 commits into
mainfrom
connorjward/types

Conversation

@connorjward

Copy link
Copy Markdown
Collaborator

Make __getitem__ DTRT so you don't just get a string back.

Closes #47

Comment thread petsctools/options.py
Comment thread petsctools/options.py Outdated
Comment thread petsctools/options.py Outdated
@connorjward
connorjward enabled auto-merge (squash) September 10, 2026 08:44
@connorjward
connorjward merged commit c8759b5 into main Sep 10, 2026
2 checks passed
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.

Add petsctools.Options.get

2 participants