Automatically update documentation on official pushes into `master`. Use github actions to make it efficient - https://docusaurus.io/docs/deployment#triggering-deployment-with-github-actions
Automatically update documentation on official pushes into
master.Use github actions to make it efficient