Stefan Haller 661df80fe8 Add config options for external change detection ...

Two settings to control the upcoming background polling mechanism:

- git.autoDetectExternalChanges (default true) is the on/off switch, parallel to
  autoFetch/autoRefresh
- refresher.externalChangeCheckInterval (default 2 seconds) is the poll cadence

Disabling is the bool's job, not a magic 0 interval, matching the existing
convention.

Not yet referenced by any code.

2026-06-19 18:07:48 +02:00

..

config.json

Add config options for external change detection

2026-06-19 18:07:48 +02:00