2017-03-30 17:36:27 +08:00
|
|
|
bot: "webpack-bot"
|
|
|
|
rules:
|
2017-03-30 20:47:22 +08:00
|
|
|
|
|
|
|
# Add ci-ok, ci-not-ok labels depending on travis status
|
|
|
|
# comment to point the user to the results
|
|
|
|
# comment in case of success
|
2017-03-30 17:36:27 +08:00
|
|
|
- filters:
|
|
|
|
open: true
|
|
|
|
status:
|
|
|
|
context: "continuous-integration/travis-ci/pr"
|
2017-03-30 18:01:11 +08:00
|
|
|
ensure:
|
|
|
|
value: "{{status.state}}"
|
|
|
|
equals: "success"
|
2017-03-30 17:36:27 +08:00
|
|
|
actions:
|
|
|
|
label:
|
|
|
|
add: "PR: CI-ok"
|
|
|
|
remove: "PR: CI-not-ok"
|
|
|
|
comment:
|
|
|
|
identifier: "ci-result"
|
|
|
|
readd: true
|
|
|
|
message: |-
|
|
|
|
The most important CI builds succeeded. Great work so far.
|
|
|
|
- filters:
|
|
|
|
open: true
|
|
|
|
status:
|
|
|
|
context: "continuous-integration/travis-ci/pr"
|
2017-03-30 18:01:11 +08:00
|
|
|
ensure:
|
|
|
|
value: "{{status.state}}"
|
|
|
|
equals: "failure"
|
2017-03-30 17:36:27 +08:00
|
|
|
actions:
|
|
|
|
label:
|
|
|
|
add: "PR: CI-not-ok"
|
|
|
|
remove: "PR: CI-ok"
|
|
|
|
comment:
|
|
|
|
identifier: "ci-result"
|
|
|
|
readd: true
|
|
|
|
message: |-
|
|
|
|
@{{issue.user.login}} The most important CI builds failed. This way your PR can't be merged.
|
|
|
|
|
|
|
|
Please take a look at the [CI results]({{status.target_url}}) and fix these issues.
|
2017-03-30 18:01:11 +08:00
|
|
|
|
2017-03-30 20:47:22 +08:00
|
|
|
|
|
|
|
# add unreviewed, reviewed, review-outdated labels
|
|
|
|
# comment to ping reviewer
|
|
|
|
# comment on new PR
|
|
|
|
- filters:
|
|
|
|
open: true
|
|
|
|
in_order:
|
|
|
|
commit: true
|
|
|
|
review:
|
|
|
|
state: APPROVED|CHANGES_REQUESTED
|
|
|
|
actions:
|
|
|
|
label:
|
|
|
|
add: "PR: reviewed"
|
|
|
|
remove:
|
|
|
|
- "PR: review-outdated"
|
|
|
|
- "PR: unreviewed"
|
|
|
|
- filters:
|
|
|
|
open: true
|
|
|
|
in_order:
|
|
|
|
review:
|
|
|
|
state: APPROVED|CHANGES_REQUESTED
|
|
|
|
commit: true
|
|
|
|
actions:
|
|
|
|
label:
|
|
|
|
add: "PR: review-outdated"
|
|
|
|
remove:
|
|
|
|
- "PR: reviewed"
|
|
|
|
- "PR: unreviewed"
|
|
|
|
comment: |-
|
|
|
|
@{{commit.committer.login}} Thanks for your update.
|
|
|
|
|
|
|
|
I labeled the Pull Request so reviewers will review it again.
|
|
|
|
|
|
|
|
@{{review.user.login}} Please review the new changes.
|
|
|
|
- filters:
|
|
|
|
open: true
|
|
|
|
commit: true
|
|
|
|
not:
|
|
|
|
review:
|
|
|
|
state: APPROVED|CHANGES_REQUESTED
|
|
|
|
actions:
|
|
|
|
label: "PR: unreviewed"
|
|
|
|
- filters:
|
|
|
|
open: true
|
|
|
|
commit: true
|
|
|
|
not:
|
|
|
|
review:
|
|
|
|
state: APPROVED|CHANGES_REQUESTED
|
|
|
|
age:
|
|
|
|
maximum: 1w
|
|
|
|
actions:
|
|
|
|
comment: |-
|
|
|
|
Thanks for your Pull Request. I labeled the Pull Request, so maintainers will review it.
|