diff options
author | 2020-11-27 18:27:29 +0100 | |
---|---|---|
committer | 2020-11-27 18:27:29 +0100 | |
commit | a9f531cbd927e9a3a8187cf177a7747ec5ffce73 (patch) | |
tree | 164c72751193606214cd23aade4611880108b908 /bot/bot.py | |
parent | Update CODEOWNERS (diff) |
Add check for core dev approvals on pull requests
This commit adds a workflow that checks if a pull request has received
at least one approval from a core developer. If not, the check will fail
and block us from merging the Pull Request.
The reason we're adding this check is because we're moving away from
making the Core Developers team "code owner" of every line in every
repository. This created a lot of "notification" spam, which drowned out
the actually relevant notifications.
This will accomplish the same, at least one core dev needs to approve,
but without the notification spam.
Diffstat (limited to 'bot/bot.py')
0 files changed, 0 insertions, 0 deletions