| | |
| | | with: |
| | | repository: ${{ github.repository }}.wiki |
| | | path: ${{ github.event.repository.name }}.wiki |
| | | fetch-depth: 0 |
| | | - name: Publish docs in wiki |
| | | continue-on-error: true |
| | | shell: bash |
| | |
| | | mv ../opendj-doc-generated-ref/target/docbkx ../${{ github.event.repository.name }}.wiki |
| | | git add -A |
| | | git commit -a -m "upload docs after release ${{ github.event.inputs.releaseVersion }}" |
| | | git push --quiet --force |
| | | git tag -f ${{ github.event.inputs.releaseVersion }} |
| | | git push --quiet --force ${{ github.event.inputs.releaseVersion }} |
| | | git push --quiet --force |
| | | git push --quiet --force origin ${{ github.event.inputs.releaseVersion }} |