ci: update github bot config (#22453)

PR Close #22453
This commit is contained in:
Olivier Combe 2018-02-26 16:17:30 +01:00 committed by Alex Eagle
parent 142117f6bb
commit 8d34364ff5
1 changed files with 3 additions and 1 deletions

View File

@ -80,12 +80,14 @@ merge:
# options for the triage plugin # options for the triage plugin
triage: triage:
# number of the milestone to apply when the issue has not been triaged yet
needsTriageMilestone: 83,
# number of the milestone to apply when the issue is triaged # number of the milestone to apply when the issue is triaged
defaultMilestone: 82, defaultMilestone: 82,
# arrays of labels that determine if an issue is triaged # arrays of labels that determine if an issue is triaged
triagedLabels: triagedLabels:
- -
- "type: bug" - "type: bug/fix"
- "severity*" - "severity*"
- "freq*" - "freq*"
- "comp: *" - "comp: *"