Archicratia/archicratie-edition
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

ci: shard annotations by para + deploy deep-merge hotpatch #135

Merged
Archicratia merged 1 commits from chore/anno-shard-deepmerge into main 2026-02-26 18:58:23 +00:00
Conversation 0 Commits 1 Files Changed 2 +591 -273
Archicratia commented 2026-02-26 18:55:04 +00:00
Owner
Copy Link
No description provided.
Archicratia added 1 commit 2026-02-26 18:55:05 +00:00
ci: shard annotations by para + deploy deep-merge hotpatch
All checks were successful
CI / build-and-anchors (push) Successful in 1m51s
Details
SMOKE / smoke (push) Successful in 29s
Details
a43ce5f188
Archicratia merged commit 16485dc4a9 into main 2026-02-26 18:58:23 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
Clear labels
cat/argument
Problème de faiblesse argumentaire, besoin de preuves et de clarté épistémique
 cat/lexique
Problème lexical, de définition, de formulation sur le corpus théorique
 cat/redondance
Problème de répétition, de redite, de redondance de propos
 cat/source
Problème de référence bibliographique sourcée (nom, titre du document, édition, date, page)
 cat/style
Problème syntaxique, stylistique ou phrastique
 scope/lexique
corrections de cohérence terminologique (glossaire)
 state/a-sourcer
Sources requises avant intégration
 state/applied
Appliqué dans le repo
 state/approved
Approuvé
 state/integre
Intégré dans le texte (ticket à fermer)
 state/needs-info
Besoin d'informations supplémentaires (manque URL/caption/etc)
 state/pret-a-integrer
Validé éditorialement, prêt pour commit
 state/recevable
Cadrage OK (chemin+ancre+proposition)
 state/rejected
Refusé
 state/to-review
À revoir
 type/comment
Modération commentaires pour Archicratie Web Edition
 type/correction
Correction rédactionnelle/paradigmatique (un paragraphe)
 type/fact-check
Vérification d’assertion, sourçage, références
 type/media
Modération de médias pour Archicratie - Web Edition
 type/reference
Modération de références pour Archicratie - Web Edition
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
Archicratia
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Archicratia/archicratie-edition#135
Delete Branch "chore/anno-shard-deepmerge"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?