From ea8558fa597cf37bdf727057e1d950723067aa29 Mon Sep 17 00:00:00 2001 From: mgechev Date: Tue, 18 May 2021 15:44:06 -0700 Subject: [PATCH] ci: rename the angular devtools pullapprove name (#42160) Change `devtools` to `docs-devtools` to properly reflect the approval group. PR Close #42160 --- .pullapprove.yml | 35 +++++++++++++++++------------------ 1 file changed, 17 insertions(+), 18 deletions(-) diff --git a/.pullapprove.yml b/.pullapprove.yml index 9c0e6cacaac..f86f3f6279f 100644 --- a/.pullapprove.yml +++ b/.pullapprove.yml @@ -764,24 +764,6 @@ groups: required: 2 # require at least 2 approvals reviewed_for: required - # ========================================================= - # DevTools - # ========================================================= - devtools: - <<: *defaults - conditions: - - *can-be-global-approved - - *can-be-global-docs-approved - - > - contains_any_globs(files, [ - 'aio/content/guide/devtools.md', - 'aio/content/images/guide/devtools/**' - ]) - reviewers: - users: - - mgechev - - twerske - # ========================================================= # Bazel # ========================================================= @@ -1029,6 +1011,23 @@ groups: - IgorMinar - jelbourn + # ========================================================= + # Docs: Angular DevTools + # ========================================================= + docs-devtools: + <<: *defaults + conditions: + - *can-be-global-approved + - *can-be-global-docs-approved + - > + contains_any_globs(files, [ + 'aio/content/guide/devtools.md', + 'aio/content/images/guide/devtools/**' + ]) + reviewers: + users: + - mgechev + - twerske # ========================================================= # Tooling: Compiler API shared with Angular CLI