- Modifications d’un éditeur : Lorsqu’un éditeur publie via l’éditeur web ou fusionne une pull request (demande de fusion) dans le référentiel de votre documentation, les modifications sont automatiquement déployées sur votre site en production.
- Modifications d’un non‑éditeur : Lorsqu’un non‑éditeur fusionne une pull request (demande de fusion) dans votre référentiel, vous devez déclencher manuellement un déploiement depuis votre Dashboard pour que ces modifications apparaissent sur votre site en production.