wiki-mirror.yml

name: "Mirror wiki/ to repo.wiki"

# Run on changes to the `wiki` directory on the `main` branch
on:
  push:
    branches:
      - main
    paths:
      - 'wiki/**'

jobs:
  mirror:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout main
        uses: actions/checkout@v3
        with:
          path: TomoBEAR
      - name: Checkout wiki
        uses: actions/checkout@v3
        with:
          repository: "KudryashevLab/TomoBEAR.wiki"
          path: TomoBEAR.wiki
      - name: Copy wiki files
        run: |
          git config --global user.email "actions@github.com"
          git config --global user.name "Wiki mirror"
          cp $GITHUB_WORKSPACE/TomoBEAR/wiki/*.md $GITHUB_WORKSPACE/TomoBEAR.wiki
          cd $GITHUB_WORKSPACE/TomoBEAR.wiki
          git add .
          # only commit if there are changes
          git diff-index --quiet HEAD -- || git commit -m "sync from wiki/"
          git push