Skip to content

fix(ci,#15758): pr_gate_missing — le bot s'écrit selon l'API, les deux sites partageaient la mauvaise orthographe - #15759

Merged
myia-ai-01 merged 2 commits into
mainfrom
fix/15758-prgate-bot-spelling
Sep 12, 2026
Merged

myia-ai-01 merged 2 commits into
mainfrom
fix/15758-prgate-bot-spelling

Commits

  1. Commits on Sep 12, 2026