mirror of
https://github.com/getpaseo/paseo.git
synced 2026-11-04 07:33:18 +00:00
Mohamed Boudra
0952ddbd4b
* fix(server): recover git watchers after setup timeouts Setup failures entered degraded polling without scheduling the existing recovery ladder. Retry both watcher types so successful subscriptions stop fallback reads. * fix(server): isolate callbacks from expired git watchers An expired subscription can report an error after recovery. Ignore abandoned callbacks and callbacks that no longer own the active subscription so they cannot tear down a replacement. * fix(server): refresh metadata when git observation recovers * fix(server): settle watcher recovery during workspace teardown * fix(server): reconcile exclusions when metadata watching recovers