GitHub repository: metanorma/metanorma-document-gh-pages
Description: Metanorma document with auto-deployment to GitHub pages