message: Use the force, Novel-chan...
  Modifying the flow to allow for force-pushing - should only be done to gh-pages branch.
diff: @@ -16,7 +16,7 @@ jobs:
  uses: actions/checkout@v2
  - name: Create documentation branch
  - run: git checkout -b documentation/$GITHUB_SHA
  + run: git checkout -b gh-pages
  - name: Prepare Secrets
  run: echo "${{ secrets.GITHUB_TOKEN }}" >> $GITHUB_WORKSPACE/secret.txt
  @@ -36,10 +36,5 @@ jobs:
  if: ${{ success() }}
  run: |
  git add $GITHUB_WORKSPACE/docs/*
  - git commit -m "Updated documentation - $GITHUB_SHA"
  - git push origin documentation/$GITHUB_SHA
  -
  - - name: Create Pull Request
  - if: ${{ success() }}
  - run: |
  - gh pr create --title "${{ github.sha }} into gh-pages" --body "Updated documentation from commit ${{ github.sha }} in main." --base gh-pages --head documentation/${{ github.sha }}
  + git commit -m "Updated documentation - $GITHUB_SHA from main"
  + git push origin gh-pages --force
  