message: ci: rename the angular devtools pullapprove name
  Change `devtools` to `docs-devtools` to properly reflect the approval
  group.
  PR Close
diff: @@ -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
  