Before submitting
Area
apps/server
Problem or use case
The server continuously runs git fetch --quiet --no-tags origin against every repo in the workspace every 30 seconds, with no way to change the interval or turn it off. For users with several repos open, this means a steady ~12+ network fetches per minute in the background.
Proposed solution
Make the interval configurable, with an option to disable.
Why this matters
- Users with multiple repos open in one workspace (monorepo teams, polyrepo setups, dotfiles + project combos).
- Users on metered, slow, or high-latency connections (tethering, hotel Wi-Fi, VPN-tunneled corp networks).
Smallest useful scope
Configurable as keybindings in file, or item in app settings
Alternatives considered
No response
Risks or tradeoffs
No response
Examples or references
No response
Contribution
Before submitting
Area
apps/server
Problem or use case
The server continuously runs
git fetch --quiet --no-tags originagainst every repo in the workspace every 30 seconds, with no way to change the interval or turn it off. For users with several repos open, this means a steady ~12+ network fetches per minute in the background.Proposed solution
Make the interval configurable, with an option to disable.
Why this matters
Smallest useful scope
Configurable as keybindings in file, or item in app settings
Alternatives considered
No response
Risks or tradeoffs
No response
Examples or references
No response
Contribution