feat(cli): polite deep merge for settings.json and support JSONC#1874

Merged

mnriem merged 2 commits intogithub:mainfrom

RbBtSn0w:fix/settings-json-polite-merge-v2

Mar 17, 2026

Commits on Mar 17, 2026

feat(cli): polite deep merge for settings.json with json5 and safe atomic write
RbBtSn0w
committed
fix(cli): prevent temp fd leak and align merge-policy docs
RbBtSn0w
committed