handle-pr-labels.yml

name: Handle PR-Labels

on:
  pull_request_target:
    types: [labeled]

concurrency:
  group: workflow-${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
  cancel-in-progress: true

jobs:
  handle-labels:
    if: >-
      github.repository == 'public-ui/kolibri' &&
      github.event.action == 'labeled' &&
      github.event.label.name == 'codex'
    runs-on: ubuntu-latest
    steps:
      - uses: actions/github-script@v8
        with:
          github-token: ${{ secrets.GITHUB_TOKEN }}
          script: |
            const { owner, repo } = context.repo;
            const prNumber = context.payload.pull_request.number;

            await github.rest.issues.addLabels({
              owner,
              repo,
              issue_number: prNumber,
              labels: ['agent:codex'],
            });

            await github.rest.issues.removeLabel({
              owner,
              repo,
              issue_number: prNumber,
              name: 'codex',
            });