2019-05-31 09:54:47 -05:00
|
|
|
# Set to true to add reviewers to pull requests
|
|
|
|
addReviewers: true
|
|
|
|
|
|
|
|
# Set to true to add assignees to pull requests
|
2020-07-29 03:51:36 -05:00
|
|
|
addAssignees: author
|
2019-05-31 09:54:47 -05:00
|
|
|
|
|
|
|
# A list of reviewers to be added to pull requests (GitHub user name)
|
|
|
|
reviewers:
|
2019-10-28 06:21:03 -05:00
|
|
|
- johankwarnmarksymphony
|
2019-12-10 06:51:46 -06:00
|
|
|
- mattias-symphony
|
2020-03-31 04:05:30 -05:00
|
|
|
- psjostrom
|
2021-03-25 08:02:03 -05:00
|
|
|
- VinceBT-S
|
2019-05-31 09:54:47 -05:00
|
|
|
|
|
|
|
# A list of keywords to be skipped the process that add reviewers if pull requests include it
|
|
|
|
skipKeywords:
|
|
|
|
- wip
|
|
|
|
|
|
|
|
# A number of reviewers added to the pull request
|
|
|
|
# Set 0 to add all the reviewers (default: 0)
|
2019-06-03 03:33:49 -05:00
|
|
|
numberOfReviewers: 0
|
|
|
|
|
|
|
|
# A number of assignees added to the pull request
|
|
|
|
# Set 0 to add all the reviewers (default: 0)
|
2019-10-28 06:21:03 -05:00
|
|
|
numberOfAssignees: 1
|