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

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

PR Close #42160

mgechev/angular,gkalpak/angular,angular/angular,brandonroberts/angular,angular/angular,angular-indonesia/angular,ocombe/angular,mgechev/angular,ocombe/angular,brandonroberts/angular,angular-indonesia/angular,gkalpak/angular,shairez/angular,shairez/angular,brandonroberts/angular,gnomeontherun/angular,shairez/angular,manekinekko/angular,manekinekko/angular,angular-indonesia/angular,JiaLiPassion/angular,ocombe/angular,gkalpak/angular,manekinekko/angular,manekinekko/angular,mgechev/angular,gnomeontherun/angular,manekinekko/angular,JiaLiPassion/angular,angular/angular,gnomeontherun/angular,ocombe/angular,mgechev/angular,shairez/angular,ocombe/angular,manekinekko/angular,angular/angular,JiaLiPassion/angular,ocombe/angular,mgechev/angular,shairez/angular,brandonroberts/angular,gnomeontherun/angular,brandonroberts/angular,gkalpak/angular,brandonroberts/angular,angular-indonesia/angular,JiaLiPassion/angular