Switch to using GitHub Actions for deploying the docs#7

habedi wants to merge 8 commits into

mainCogitatorTech/minish:mainfrom

developCogitatorTech/minish:developCopy head branch name to clipboard