comment_bot.yml

name: Bot comment handler

on:
  issue_comment:
    types: [ created ]

jobs:
  Bot:
    if: ${{ startsWith( github.event.comment.body, '/bot ' ) }}
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
        with:
          fetch-depth: 0
      - uses: ./.github/actions/add_remote
        with:
          pr_id: ${{ github.event.issue.number }}
      - name: Set up Python 3.10
        uses: actions/setup-python@v5
        with:
          python-version: '3.10'
      - name: Install Python dependencies
        run: |
          python -m pip install requests
      - name: "Generate token"
        id: token
        uses: ./.github/actions/generate_bot_token
        with:
          bot_pem: "${{ secrets.BOT_PEM }}"
      - id: run_bot
        run: |
          python ci_tools/bot_comment_react.py
        env:
          GH_TOKEN: ${{ github.token }}