fix docs push warring when there are no changes

maximthomas

29.31.2024 717fb98c1ac275e9bff5501ad4e1b7c19cc42330

 .github/workflows/deploy.yml

@@ -157,5 +157,8 @@
          rm -rf ${REPO_NAME_LC}/modules
          cp -R ../${SITE_DOC_FOLDER}/target/asciidoc/antora/modules ../doc.openidentityplatform.org/${REPO_NAME_LC}
          git add -A
          git commit -a -m "upload ${{github.event.repository.name}} docs after deploy ${{ github.sha }}"
          git push --force https://github.com/OpenIdentityPlatform/doc.openidentityplatform.org.git
          if ! git diff-index --quiet HEAD; then
            echo "committing changes to the docs repository"
            git commit -a -m "upload ${{github.event.repository.name}} docs after deploy ${{ github.sha }}"
            git push --force https://github.com/OpenIdentityPlatform/doc.openidentityplatform.org.git
          fi