ci: rename the angular devtools pullapprove name (#42160)

Change `devtools` to `docs-devtools` to properly reflect the approval
group.

PR Close #42160
This commit is contained in:
mgechev 2021-05-18 15:44:06 -07:00 committed by atscott
parent 8d20bb9855
commit ea8558fa59
1 changed files with 17 additions and 18 deletions

View File

@ -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