From 402177edf66689d0ac293aabd63cd760fb795694 Mon Sep 17 00:00:00 2001 From: CPerezz Date: Tue, 5 Apr 2022 13:33:22 +0200 Subject: [PATCH] Add workflow to automatically assign PR reviewers As stated in #423, it would be nice if reviews could be assigned automatically to a group of reviwers so that the reviewing process is more agile. Closes #423 --- .github/workflows/review_requester.yml | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 .github/workflows/review_requester.yml diff --git a/.github/workflows/review_requester.yml b/.github/workflows/review_requester.yml new file mode 100644 index 0000000000..01e5225481 --- /dev/null +++ b/.github/workflows/review_requester.yml @@ -0,0 +1,19 @@ +name: Request review on PRs + +# We only run these lints on trial-merges of PRs to reduce noise. +on: + pull_request: + types: [synchronize, opened, reopened, ready_for_review] + +jobs: + request: + name: Review requester + runs-on: ubuntu-20.04 + + steps: + - name: Select a reviewer from appliedzkp/zkevm-reviewers + env: + GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} + run: | + gh pr edit ${{ github.event.pull_request.html_url }} \ + --add-reviewer appliedzkp/zkevm-reviewers