mirror of
https://github.com/odoo/runbot.git
synced 2025-03-16 07:55:45 +07:00
![]() If there are bump PRs anyway: the bump commits will cause the forward-port of the staging to fail, so might as well clearly notify everybody of the issue if there is a pending staging, and not waste too much time waiting for a staging which can not succeed. We could also cancel stagings when there's no bump PR, but it's not clear that there's any reason to do so: if we didn't touch any master branch, there's no reason for the staging to fail, or to otherwise cancel it. And obviously we can't have staged anything on the new branch so there's nothing to cancel. Part-Of: #718 |
||
---|---|---|
.. | ||
project_freeze | ||
staging_cancel | ||
__init__.py | ||
project.py | ||
pull_requests.py | ||
res_partner.py |