triggers.yaml

name: main triggers

permissions:
  contents: write

on:
  push:
    branches:
      - main         # Push events on main branch

jobs:
  build:
    runs-on: ubuntu-latest

    steps:
    - uses: actions/checkout@v7

    - name: Trigger doc build
      uses: peter-evans/repository-dispatch@v4
      with:
        token: ${{ secrets.DEPLOY_DOC_PAT }}
        repository: devitocodes/devitoproject.org
        event-type: deploy-docs

    # Detect whether the PR merged into main carried the "no-pro-trigger"
    # label. When present, the pro submodule update is skipped so devitopro
    # PRs pinned to a specific branch don't have to be closed by hand.
    - name: Check for no-pro-trigger label
      id: pro_label
      env:
        GH_TOKEN: ${{ github.token }}
      run: |
        skip=$(gh api "repos/${{ github.repository }}/commits/${{ github.sha }}/pulls" \
          --jq 'any(.[].labels[]; .name == "no-pro-trigger")')
        echo "skip=$skip" >> "$GITHUB_OUTPUT"

    - name: Trigger pro submodule update
      if: steps.pro_label.outputs.skip != 'true'
      uses: peter-evans/repository-dispatch@v4
      with:
        token: ${{ secrets.PRO_SUBMODULE }}
        repository: devitocodespro/devitopro
        event-type: update-submodule