mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

Maxim Thomas
30.50.2024 82d6d2ca4fac51437ad07e2e90a81c53fad101d1
.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