Repository navigation
fix(ci): prune_merged_worktrees attribue a un HEAD detache la PR d'un commit ancetre de main #17684
Description
Activity
Second cas mesuré le 2026-09-24, même classe : un worktree qui sert de demeure à un service est retiré parce que sa PR est mergée.
D:/CoursIA-wt-runner-cgroup(branche de fix(ci,#17299): --cgroup-parent = nom de slice sous le pilote systemd (10/10 slots ai-01 en rc=125) #17559, mergée le 23/09 à 18:49Z) était leCOURSIA_REPO_DIRdecoursia-runner.servicesur ai-01, par un drop-in systemd temporaire (40-repo-dir.conf). Le worktree a disparu dans la nuit du 23 au 24/09. Le superviseur déjà chargé a tenu jusqu'au redémarrage de la distro WSL (05:55Z). Au redémarrage suivant,supervise.sh: No such file or directory, cinq échecs, puisStartLimit.- Coût : aucun slot CI ai-01 de ~06:00Z à 17:48Z. Il restait les 8 slots po-2024 pour 359 runs en file. C'est l'origine des
PR gate: STARVEDde l'après-midi. - Restauration à 17:48Z : drop-in retiré (le service repart du checkout
main) et épingle waiters recopiée à l'identique de celle des runners, sans rebuild. Dry-run et geste postés sur le dashboardworkspace-CoursIA.
Pour ce correctif : le critère « PR MERGED -> REMOVE » est juste pour ce worktree. Ce qui manquait, c'est une retenue que le pruner sache lire. Le correctif de la voie 1 (HEAD détaché ancêtre de
main->REFUSE) ne couvre pas ce cas, car la branche était nommée. Deux pistes :- un fichier marqueur dans le worktree (par exemple
.coursia-keep, avec le motif), qui donneREFUSE; - le pruner qui lit les
COURSIA_REPO_DIRdéclarés par les drop-inscoursia-*.service.d.
Le marqueur est le plus simple, et il couvre aussi la demeure de
merge_ready.[CLAIMED] lane myia-po-2023:CoursIA-2 -- fix prune_merged_worktrees.py : REFUSE detached_on_main + lookup origin/main..HEAD uniquement. Tell c.c.c.d.625 ★★★★ narrow-cache MAINTAINED, Tell c.c.c.d.15793 ★★ nuance MED/guard admissible.
- added a commit that references this issue
on Sep 25, 2026
Constat (mesuré le 2026-09-24 sur ai-01, dry-run)
python scripts/ci/prune_merged_worktrees.py --jsonclasse REMOVE deux worktrees à HEAD détaché qui ne doivent pas l'être :D:/CoursIA-wt-merge-readyd0111fbd79(commit demain, squash de #17637)REMOVE — #17637 MERGEDmerge_ready(install_merge_ready_task.py --run --repo D:\CoursIA-wt-merge-ready) ; la retirer casse l'organeD:/CoursIA-wt-1763250c4ac75ce(revert, parent = squash de #17029)REMOVE — #17029 MERGEDCause
lookup_pr_for_detached_headlitgit log HEAD --format=%s -n 20. Dès le premier commit partagé avecmain, ces sujets sont ceux demain, et la voie 1 (résolution par(#N)final) rend la PR d'un commit ancêtre. Un HEAD détaché posé surmainreçoit ainsi la PR de son propre commit de tête, et une branche détachée à un commit propre reçoit la PR du commit qu'elle a sous elle.Aucun dégât pour l'instant : la tâche planifiée
CoursIA\prune_merged_worktreeséchoue à chaque déclenchement (0x80070002, guillemets de/TR). Elle ne doit pas être réparée avant ce correctif, sinon la première passe--applyretire la demeure demerge_ready.Correctif attendu
origin/mainn'a aucun commit propre, donc aucune PR attribuable :REFUSEavec la raison nomméedetached_on_main.origin/main..HEAD). Si la plage est vide ou si la référence est absente, le résultat estNone, doncREFUSE(fail-closed).Acceptance
detached_on_mainrefusé sans aucun lookup, lookup appelé sur la plageorigin/main..HEAD, plage vide →Nonesans appelgh.REMOVE.Grain: CI prune-worktrees -- lane myia-ai-01:CoursIA