commit 897186f409e6f376e52a5e680d307008ba5be5cd
parent 9b9f84bc62a01ed76b9f53119781816bd3375267
Author: dundargoc <33953936+dundargoc@users.noreply.github.com>
Date: Mon, 7 Nov 2022 01:42:59 +0100
ci: request reviewers when PR is reopened #20972
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.github/workflows/reviews.yml b/.github/workflows/reviews.yml
@@ -1,7 +1,7 @@
name: "Request reviews"
on:
pull_request_target:
- types: [labeled, ready_for_review]
+ types: [labeled, ready_for_review, reopened]
jobs:
request-reviewer:
if: github.event.pull_request.state == 'open' && github.event.pull_request.draft == false