name: Publish Developer Docs

on:
  push:
    branches:
      - main
    paths:
      - "docs/**"

jobs:
  checkout:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v2
        with:
          repository: "enso-org/enso-org.github.io"
          ref: "sources"
          token: ${{ secrets.ENSO_PAT }}
      - name: set identity email
        run: git config --global user.email "actions@github.com"
      - name: set identity name
        run: git config --global user.name "GitHub Actions"
      - name: Checkout submodules
        run: git submodule update --init
      - name: Update submodules
        id: status
        run: |
          git submodule update --init
          git submodule update --remote --merge
          if [ -n "$(git status --porcelain)" ]; then
            echo "::set-output name=has_changes::1"
          fi
      - name: Push changes
        run: |
          git add .
          git commit -m "Update submodules"
          git push origin sources
        if: steps.status.outputs.has_changes == '1'