ci: enable github bot CI rerun feature (#29098)

PR Close #29098
angular · Apr 26, 2019 · f45684f · f45684f
1 parent 5b134ca
commit f45684f
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/angular-robot.yml b/.github/angular-robot.yml
@@ -167,3 +167,10 @@ triagePR:
       - "effort*"
       - "risk*"
       - "comp: *"
+
+# options for rerunning CI
+rerunCircleCI:
+  # set to true to disable
+  disabled: false
+  # the label which when added triggers a rerun of the default CircleCI workflow
+  triggerRerunLabel: "PR action: rerun CI at HEAD"