zulip_emoji_awaiting_author.yaml

on:
  pull_request:
    types: [labeled, unlabeled]
jobs:
  set_pr_emoji:
    if: github.event.label.name == 'awaiting-author'
    runs-on: ubuntu-latest
    steps:
    - name: Checkout mathlib repository
      uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
      with:
          sparse-checkout: |
            scripts/zulip_emoji_merge_delegate.py

    - name: Set up Python
      uses: actions/setup-python@8d9ed9ac5c53483de85588cdf95a591a75ab9f55 # v5.5.0
      with:
        python-version: '3.x'

    - name: Install dependencies
      run: |
        python -m pip install --upgrade pip
        pip install zulip

    - name: Add or remove emoji
      env:
        ZULIP_API_KEY: ${{ secrets.ZULIP_API_KEY }}
        ZULIP_EMAIL: github-mathlib4-bot@leanprover.zulipchat.com
        ZULIP_SITE: https://leanprover.zulipchat.com
        PR_NUMBER: ${{ github.event.number}}
        LABEL_STATUS: ${{ github.event.action }}
      run: |
        printf $'Running the python script with pr "%s"\n' "$PR_NUMBER"
        python scripts/zulip_emoji_merge_delegate.py "$ZULIP_API_KEY" "$ZULIP_EMAIL" "$ZULIP_SITE" "$LABEL_STATUS" "$PR_NUMBER"