diff --git a/.github/workflows/dune-review-trigger.yml b/.github/workflows/dune-review-trigger.yml new file mode 100644 index 00000000000..5f428ce827d --- /dev/null +++ b/.github/workflows/dune-review-trigger.yml @@ -0,0 +1,32 @@ +name: Request Dune PR Review + +on: + pull_request: + types: [opened, reopened] + +permissions: + pull-requests: write + contents: read + issues: write + +jobs: + label-pr: + name: Add dune-review-requested label + runs-on: ubuntu-latest + steps: + - name: Add label + env: + GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} + run: | + if ! gh pr edit "${{ github.event.pull_request.number }}" \ + --repo "${{ github.repository }}" \ + --add-label "dune-review-requested" 2>/dev/null; then + gh label create "dune-review-requested" \ + --repo "${{ github.repository }}" \ + --color "e11d48" \ + --description "PR queued for Dune agent review" \ + --force 2>/dev/null || true + gh pr edit "${{ github.event.pull_request.number }}" \ + --repo "${{ github.repository }}" \ + --add-label "dune-review-requested" + fi