GitHub actions: deployment to GitHub Pages, link check#198

deining wants to merge 3 commits intogoogle:maingoogle/docsy-example:mainfrom

deining:deploy-to-github-pagesdeining/docsy-example:deploy-to-github-pagesCopy head branch name to clipboard