Skip to content

chore: back-merge main into develop#311

Open
github-actions[bot] wants to merge 3 commits into
developfrom
main
Open

chore: back-merge main into develop#311
github-actions[bot] wants to merge 3 commits into
developfrom
main

Conversation

@github-actions
Copy link
Copy Markdown

Back-merge automatique après merge sur `main` (release ou hotfix).

Cette PR récupère les commits de `main` (typiquement : bump de version, tag de release, hotfixes) dans `develop` pour aligner les deux branches et éviter la divergence à la prochaine release.

Résolution des conflits

Conflit attendu sur `rhythm_coach/pubspec.yaml` quand develop a déjà bumpé pour la prochaine itération. Garder la version la plus haute (celle de develop si > main, sinon celle de main).

Stratégie de merge

Merge commit (pas squash, pas rebase) — on veut préserver l'historique des releases dans develop.


PR ouverte automatiquement par `.github/workflows/back-merge.yml`.

…ar défi

Le défi tuto acquitte des milestones enfants (ex. intro_hold_throat,
requires basics) via l'unlock provisoire de la séance (basics, fourni
par intro_basics insérée mais pas encore consolidée). intro_basics
n'étant jamais acquittée par le défi (pas d'acquittableByCapability),
elle restait "à faire" alors que ses enfants étaient validés —
ré-insérée comme tutoriel aux séances suivantes.

- MilestoneService.consolidatePrerequisites() : back-fill des parents
  dont un enfant complété dépend (point fixe, idempotent).
- Appelé après l'acquittement par défi (corrige la cause) et au start
  de séance (répare les états déjà cassés sans reset).
- Test dédié reproduisant l'état cassé + chaîne transitive.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant