Repository navigation
fix(readme): le badge CI suit la branche de référence, non une branche figée - #75
Merged
Merged
Conversation
…e figée Les deux README épinglaient leur badge sur `?branch=develop`. Mesuré avant de toucher : la branche par défaut déclarée sur GitHub est `main`, dont le dernier commit est du 2026-10-19, tandis que `develop` s'est arrêtée le 2026-09-26 avec 17 commits qui n'ont jamais été mergés. Le badge annonçait donc l'état de la CI d'une branche abandonnée depuis vingt-trois jours, et c'est la pire forme d'erreur pour un badge : il reste vert en ne disant plus rien de ce qui est livré. Le paramètre est retiré plutôt que corrigé en `main` : aucun des onze autres catalogues n'en porte, et le badge suit alors la branche par défaut, ce qui reste juste si elle change un jour. Les sept branches distantes de ce dépôt, `develop` comprise, portent du travail non mergé : elles ne sont pas touchées ici. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Le défaut
Les deux README épinglaient leur badge CI sur
?branch=develop. Mesuré avant de toucher quoi que ce soit :main(branche par défaut déclarée sur GitHub)developdevelopLe badge annonçait donc l'état de la CI d'une branche abandonnée depuis vingt-trois jours. C'est la pire forme d'erreur pour un badge : il reste vert en ne disant plus rien de ce qui est livré.
Le correctif
Le paramètre est retiré plutôt que corrigé en
main: aucun des onze autres catalogues n'en porte, et le badge suit alors la branche par défaut, ce qui restera juste si elle change un jour.Ce que cette PR ne touche pas
Ce dépôt porte sept branches distantes avec du travail non mergé :
act-rm(19 commits),fix/verdict-lu-dans-le-contrat(20),develop(17),ci/aligner-le-socle(5),chore/release-0.2.0(3),fix/declarer-solutions-en-clair(1) etfix/verdict-lu-dans-le-contrat-2(1). Aucune n'est supprimée ici : savoir ce qui doit être repris ou abandonné n'est pas à cette PR de le décider.🤖 Generated with Claude Code