From f3a91c65e820548a1e75b6a01efb8e25ded9dfeb Mon Sep 17 00:00:00 2001 From: per1234 Date: Tue, 27 Apr 2021 23:21:42 -0700 Subject: [PATCH] Use less ambiguous name for workflow job handling non-submission PRs In the event a PR is detected as something other than a library submission, a review is requested from the Tooling Team and a comment is made to the PR thread explaining the situation. Previously, this job was named `request-review`. However, there are other circumstances under which a review will be requested (e.g., merge conflict). So this was not a very good job name. This job name is not referenced anywhere else in the workflow, so it currently only serves a documentation role and changing it has no functional effect. --- .github/workflows/manage-prs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/manage-prs.yml b/.github/workflows/manage-prs.yml index 9327b65d..602e8fe0 100644 --- a/.github/workflows/manage-prs.yml +++ b/.github/workflows/manage-prs.yml @@ -375,7 +375,7 @@ jobs: team_reviewers: | - arduino/team_tooling - request-review: + not-submission: needs: - parse if: needs.parse.outputs.type != 'submission' # These request types can't be automatically approved.