Repository navigation

Post petsctools.Options improvements to OptionsManager - #57

Merged

connorjward merged 9 commits into

mainfrom

connorjward/options-manager-fix

Oct 9, 2026

Merged

Post petsctools.Options improvements to OptionsManager#57
connorjward merged 9 commits into
mainfrom
connorjward/options-manager-fix

Commits on Sep 24, 2026
- Make OptionsManager use petsctools.Options
  connorjward
  committed
  85641a7
- Remove AppContextManager
  connorjward
  committed
  dc0bd77
- fixup
  connorjward
  committed
  3d16749
- linting
  connorjward
  committed
  677338d
Commits on Oct 9, 2026
- Remove unnecessary (?) hack
  connorjward
  committed
  6483472
- Apply batched suggestions from code review
  
  connorjward
  and
  JHopeCollins
  authored
  9264e84
- Review feedback: fix+tests
  connorjward
  committed
  71cd344
- self.prefix can be None
  connorjward
  committed
  f7ed74f
- fixup
  connorjward
  committed
  284d279