Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
40 commits
Select commit Hold shift + click to select a range
65ee680
glaeda-disk: a reserved fleet mini gets floor-pressure eviction only
teamleaderleo Oct 26, 2026
942e49f
glaeda-disk: judge the reservation before any family is built
teamleaderleo Oct 26, 2026
5cf61c2
glaeda-disk: every disposable age is 12 h; runner checkouts unused 12…
teamleaderleo Oct 26, 2026
200d454
test-glaeda-disk: age-dependent cases follow DEFAULT_AGE_HOURS
teamleaderleo Oct 26, 2026
8dc16ac
glaeda-disk: a stale runner checkout above the floor keeps git's veto…
teamleaderleo Oct 26, 2026
25efbb0
glaeda-disk: a reserved host keeps the ages before 12 h until its res…
teamleaderleo Oct 26, 2026
3ee1a9e
glaeda-disk: a reserved host's families are built with the legacy ages
teamleaderleo Oct 26, 2026
52cde72
glaeda-disk: mirrors go at 12 h, their unpushed commits and local-onl…
teamleaderleo Oct 26, 2026
510e97e
glaeda-disk: a reserved host keeps the 168 h mirror age
teamleaderleo Oct 26, 2026
5922735
glaeda-disk: read the fleet reservation list only from the host; fail…
teamleaderleo Oct 26, 2026
66e2f58
glaeda-disk: mirror bundles trust only the server, never overwrite, k…
teamleaderleo Oct 26, 2026
c0c4e5f
glaeda-disk: a stale runner checkout keeps git's operation markers an…
teamleaderleo Oct 26, 2026
4271160
Merge remote-tracking branch 'origin/disk-glaeda-reservation-guard' i…
teamleaderleo Oct 26, 2026
7adc2af
Merge remote-tracking branch 'origin/disk-glaeda-12h-age' into disk-g…
teamleaderleo Oct 26, 2026
dd6b997
glaeda-disk: a fleet reservation list past its expires, or without on…
teamleaderleo Oct 26, 2026
e375675
Merge remote-tracking branch 'origin/disk-glaeda-reservation-guard' i…
teamleaderleo Oct 26, 2026
2d7c9f2
Merge remote-tracking branch 'origin/disk-glaeda-12h-age' into disk-g…
teamleaderleo Oct 26, 2026
8aaf607
Merge remote-tracking branch 'origin/main' into disk-glaeda-reservati…
teamleaderleo Oct 26, 2026
59e38c7
glaeda-disk: a reserved host runs the pressure pass and nothing else;…
teamleaderleo Oct 26, 2026
6a5a998
glaeda-disk: the runner checkout git veto drops the caller's GIT_* an…
teamleaderleo Oct 26, 2026
8c582e4
Merge remote-tracking branch 'origin/disk-glaeda-reservation-guard' i…
teamleaderleo Oct 26, 2026
9d8dd5c
glaeda-disk: mirror bundling finds nested submodules, rediscovers rep…
teamleaderleo Oct 26, 2026
f49c6f3
glaeda-disk: pass reserved= to filesystems() only when set (the previ…
teamleaderleo Oct 26, 2026
bae894e
glaeda-disk: pass reserved= to filesystems() only when set
teamleaderleo Oct 26, 2026
dd2e94b
Merge remote-tracking branch 'origin/disk-glaeda-reservation-guard' i…
teamleaderleo Oct 26, 2026
b84c765
glaeda-disk: a local marker that cannot be read holds the host; a fut…
teamleaderleo Oct 26, 2026
2e9d488
Merge remote-tracking branch 'origin/disk-glaeda-reservation-guard' i…
teamleaderleo Oct 26, 2026
7fe94c3
glaeda-disk: mirror bundling re-asks the servers, fails closed on rea…
teamleaderleo Oct 26, 2026
9e0e678
glaeda-disk: mirror recheck asks the servers first, symlinked module …
teamleaderleo Oct 26, 2026
24fe96b
Merge remote-tracking branch 'origin/disk-glaeda-12h-age' into disk-g…
teamleaderleo Oct 26, 2026
e5fbb86
glaeda-disk: mirror recheck ends on process and owner checks; unborn …
teamleaderleo Oct 26, 2026
44facf0
Merge remote-tracking branch 'origin/main' into disk-glaeda-12h-age
teamleaderleo Oct 27, 2026
6da80b8
glaeda-disk: mirror bundling reads reflogs strictly and checks linked…
teamleaderleo Oct 27, 2026
47464c2
Merge remote-tracking branch 'origin/disk-glaeda-12h-age' into disk-g…
teamleaderleo Oct 27, 2026
f94fa64
glaeda-disk: mirror bundling treats symlinked reflog dirs and unreada…
teamleaderleo Oct 27, 2026
b5ecac2
Merge remote-tracking branch 'origin/main' into disk-glaeda-mirror-bu…
teamleaderleo Oct 27, 2026
f43fca4
glaeda-disk: a bundled mirror's git metadata is checked again after t…
teamleaderleo Oct 27, 2026
204c98b
glaeda-disk: after the rename, a bundled mirror gets the whole pre-bu…
teamleaderleo Oct 27, 2026
2276d18
glaeda-disk: unborn means strictly empty; post-rename recheck compare…
teamleaderleo Oct 27, 2026
4b65485
glaeda-disk: a mirror whose repositories have linked worktrees is kept
teamleaderleo Oct 27, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading