Development GitHub

Github action bot pushing to gh-pages causes page build to fail

I have a github repo where I have set up github actions to build the documentation automatically and push it to the gh-pages branch. Here is the full script, and everything goes find including pushing the update, which is done by the following 2 lines: git -c<hidden from question> -c”${GITHUB_ACTOR}” commit -m “Github […]