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

josephperrott · AndrewKushnir · commit f45684ff9541 · 2019-04-26T10:45:12.000-07:00
PR Close angular#29098
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"
