chore: automatically remove deleted options from config.json #2689

Merged
Sainan merged 1 commits from config-cleanup into main 2025-08-24 15:30:32 -07:00
Owner
No description provided.
Sainan added 1 commit 2025-08-24 15:28:27 -07:00
chore: automatically remove deleted options from config.json
All checks were successful
Build / build (pull_request) Successful in 1m8s
886f7c2524
Sainan merged commit 895e76b45e into main 2025-08-24 15:30:32 -07:00
Sainan deleted branch config-cleanup 2025-08-24 15:30:33 -07:00
Sign in to join this conversation.
No description provided.