chore(ci): publish-docs.sh preserves docs-pages .github/#21

mariomeyer merged 1 commit into

mainReyemTech/stint:mainfrom

fix-publish-docs-preserve-githubReyemTech/stint:fix-publish-docs-preserve-githubCopy head branch name to clipboard