diff --git a/.github/workflows/dune-review-trigger.yml b/.github/workflows/dune-review-trigger.yml new file mode 100644 index 00000000000..0b5b92b37a9 --- /dev/null +++ b/.github/workflows/dune-review-trigger.yml @@ -0,0 +1,22 @@ +name: Dune Review Trigger + +on: + pull_request: + types: [opened, reopened] + +permissions: + pull-requests: write + contents: read + issues: write + +jobs: + label-pr: + runs-on: ubuntu-latest + steps: + - name: Add dune-review-requested label + env: + GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} + run: | + gh pr edit ${{ github.event.pull_request.number }} \ + --repo ${{ github.repository }} \ + --add-label "dune-review-requested"