2020-05-11 23:14:11 +00:00
|
|
|
pull_request_rules:
|
2021-04-11 12:40:18 +00:00
|
|
|
- name: assign and label scala-steward's PRs
|
|
|
|
conditions:
|
2022-10-14 19:33:26 +00:00
|
|
|
- author=eikek-scala-steward[bot]
|
2021-04-11 12:40:18 +00:00
|
|
|
actions:
|
|
|
|
assign:
|
|
|
|
users: [eikek]
|
|
|
|
label:
|
|
|
|
add: ["type: dependencies"]
|
2020-05-11 23:14:11 +00:00
|
|
|
- name: automatically merge Scala Steward PRs on CI success
|
|
|
|
conditions:
|
2022-10-14 19:33:26 +00:00
|
|
|
- author=eikek-scala-steward[bot]
|
2020-05-11 23:14:11 +00:00
|
|
|
- base=master
|
2021-04-11 12:33:55 +00:00
|
|
|
- status-success=ci
|
2020-05-11 23:14:11 +00:00
|
|
|
actions:
|
|
|
|
merge:
|
|
|
|
method: merge
|
2020-06-13 12:53:38 +00:00
|
|
|
- name: automatically merge my (eikek) PRs on CI success
|
|
|
|
conditions:
|
|
|
|
- author=eikek
|
|
|
|
- base=master
|
2021-04-11 12:33:55 +00:00
|
|
|
- status-success=ci
|
2020-06-13 12:53:38 +00:00
|
|
|
actions:
|
|
|
|
merge:
|
|
|
|
method: merge
|