public-ui-kolibri

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', });