Skip to content

Commit generated files missing from 32d71f370de53c77727d6251e6a5c4cf5… #468

Commit generated files missing from 32d71f370de53c77727d6251e6a5c4cf5…

Commit generated files missing from 32d71f370de53c77727d6251e6a5c4cf5… #468

Workflow file for this run

name: Synchronize documentation to the website
on:
push:
branches:
- '*'
jobs:
upload:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: oraNod/[email protected]
with:
docs_path: documentation/asciidoc/titles
- name: Clone infinispan.github.io
uses: actions/checkout@master
with:
repository: infinispan/infinispan.github.io
ref: master
path: infinispan.github.io
- name: Copy Docs
run: cp -r documentation/asciidoc/titles/operator.html infinispan.github.io/docs/infinispan-operator/${{ github.ref_name }}
- name: Commit files
run: |
cd infinispan.github.io
git config -l | grep 'http\..*\.extraheader' | cut -d= -f1 | xargs -L1 git config --unset-all
git config --global user.email "[email protected]"
git config --global user.name "Infinispan"
git add . --all
git diff-index --quiet HEAD || git commit -m "Synchronized Operator docs from ${{ github.ref }}"
- name: Push to the community site
uses: cpina/github-action-push-to-another-repository@main
env:
API_TOKEN_GITHUB: ${{ secrets.API_TOKEN_GITHUB }}
with:
source-directory: 'infinispan.github.io'
destination-github-username: 'infinispan'
destination-repository-name: 'infinispan.github.io'
user-email: [email protected]
target-branch: master