name: Notify CI Pin Owners

on:
  pull_request:
    types: [updated]

jobs:
  notify:
    runs-on: ubuntu-latest
    steps:
      - name: Check if PR is pin-update PR
        run: |
          if [ "$GITHUB_EVENT_NAME" == "pull_request" ] && [ "$GITHUB_EVENT_ACTION" == "updated" ]; then
            # Check if PR is pin-update PR
            if grep -q "pin-update" "$GITHUB_EVENT_PATH"; then
              # Check if PR has failed to merge
              if [ "$GITHUB_EVENT_PULL_REQUEST_STATE" == "open" ] && [ "$GITHUB_EVENT_PULL_REQUEST_MERGEABLE" == "false" ]; then
                # Get CI pin owners from file
                owners=$(yq e '.ci_pins["'"$GITHUB_EVENT_PULL_REQUEST_TITLE"'"].owners' ci-pin-owners.yml)
                # Comment on PR and CC owners
                github.actions/comment -b "CC @${owners//,/ @}"
              fi
            fi
          fi

# ci-pin-owners.yml
ci_pins:
  pytorch:
    owners: seemethere, malfet, pytorch/pytorch-dev-infra, ZainRizvi, huydhn