aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/.github/workflows/docs.yml
blob: 103144608aa84692768caf8a7bb2259355e05ac0 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
name: Sync psi docs to HydroRoll

on:
  push:
    branches:
      - main

jobs:
  sync:
    runs-on: ubuntu-latest

    steps:
    - name: Checkout HydroRoll
      uses: actions/checkout@v2
      with:
        path: HydroRoll

    - name: Clone psi repo
      run: |
        git clone https://x-access-token:${{ secrets.CI_TOKEN }}@github.com/HydroRoll-Team/psi.git

    - name: Copy psi docs to HydroRoll
      run: |
        mkdir -p HydroRoll/docs/pages/psi
        cp -r psi/docs/pages/* HydroRoll/docs/pages/psi/

    - name: Commit and push if it changed
      run: |
        cd HydroRoll
        git config --local user.email "action@github.com"
        git config --local user.name "GitHub Action"
        git add -A
        if git diff --quiet HEAD; then
          echo "No changes to commit"
        else
          git commit -m "Sync psi docs"
          git push
        fi