alex/headquarter
1
1
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix(config-profiles): show Git mount refresh progress

Browse Source 
Disable duplicate refresh requests and show in-progress feedback while Git mount sources are refreshed.
This commit is contained in:
Alex
2026-07-21 21:14:08 +02:00
parent 25e870ba43
commit 900a8e47a5
7 changed files with 44 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
openspec/changes/live-git-config-mount-refresh/design.md
+2
View File
@@ -17,6 +17,7 @@ Each selected Config Profile owns canonical Git clone directories beneath:
3. Clone into a temporary sibling, then rename on initial creation.
4. For refresh, fetch and update the existing working tree in place.
5. Bind directory mappings read-only. Existing containers see changed directory contents without recreation.
6. When profile and Git mount paths overlap, the instance-local composite source must be synchronized in place during refresh; replacing its root directory would leave a running bind mount attached to the old inode.
## Boundaries
@@ -24,6 +25,7 @@ Each selected Config Profile owns canonical Git clone directories beneath:
- Refresh failure is reported without mutating a known-good checkout.
- No non-Git profile content may be copied into a Git checkout; overlapping targets are rejected or reported.
- Containers must not write to shared Git mount sources.
- A browser editor that already has a file open is not a filesystem watcher; the user must reload that editor buffer after the mounted source changes.
## Security