Repository navigation

Delete shared default options after context - #59

Open

pbrubeck wants to merge 14 commits into

mainfrom

pbrubeck/delete-default-options

Open

Delete shared default options after context#59
pbrubeck wants to merge 14 commits into
mainfrom
pbrubeck/delete-default-options

Commits on Oct 5, 2026
- Delete the options inherited through default_options_set
  
  pbrubeck
  and
  claude
  committed
  0f94d5b
- Delete inherited child options after context
  pbrubeck
  committed
  90c7bbc
- Restore option cleanup comments
  pbrubeck
  committed
  03e58ed
- Address shared default options review
  pbrubeck
  committed
  997a0a7
- Restore pre-PR option comments
  pbrubeck
  committed
  78b35e5
- Clarify shared default cleanup comment
  pbrubeck
  committed
  b58aed5
- Preserve existing child options on context exit
  pbrubeck
  committed
  2940ce0
Commits on Oct 7, 2026
- Update petsctools/options.py
  
  pbrubeck
  and
  JHopeCollins
  authored
  79055e5
- Update petsctools/options.py
  
  pbrubeck
  and
  JHopeCollins
  authored
  242c815
- Update petsctools/options.py
  pbrubeck
  authored
  965a564
- Update petsctools/options.py
  pbrubeck
  authored
  9c9937b
- Update petsctools/options.py
  pbrubeck
  authored
  6007fc4
- Update petsctools/options.py
  pbrubeck
  authored
  916517d
- combine tests
  pbrubeck
  committed
  a1e5081