- Modifiche dell’editor: quando un editor pubblica tramite l’Editor web o effettua il merge di una pull request nel repository della documentazione, le modifiche vengono distribuite automaticamente al sito in produzione.
- Modifiche dei non editor: quando una persona che non è editor effettua il merge di una pull request nel repository, devi avviare manualmente una distribuzione dalla dashboard affinché tali modifiche compaiano sul sito in produzione.