mirror of
https://github.com/odoo/runbot.git
synced 2025-03-22 02:45:51 +07:00
dd0905f8d3
Historically PRs to disabled branches were treated like PRs to un-managed branches: ignored. However because they cay *already exist* when the branch is disabled, the effects can be subtly different, and problematically so e.g. ignoring all PR events on PRs targeting disabled branches means we can't close them anymore, which is less than great. So don't ignore events on PRs to disabled branches (creation, sync, closing, and reopening) but also send feedback on PRs to disabled or un-managed branches to indicate that they're not merge-able. Fixes #410 |
||
|---|---|---|
| .. | ||
| __init__.py | ||
| dashboard.py | ||
| reviewer_provisioning.py | ||