mirror of
https://github.com/odoo/runbot.git
synced 2025-03-22 02:45:51 +07:00
![]() While the head gets updated (properly), the squash flag did not which could lead to odd results. Since a PR can only be reopened if it was regular-pushed to (not after a force push) there are two scenarios: * the PR updated to have 0 commits, closed, pushed to with one commit then reopened, after reopening the PR would be marked as !squash and would ask for a merge method (that's what happened with odoo/odoo#51763) * the PR has a single commit, is closed, pushed to then reopened, after reopening the PR would still be marked a squash and potentially straight rebased without asking for a merge method Nothing would break per-se but both scenarios are undesirable. Close #373 |
||
---|---|---|
.. | ||
__init__.py | ||
dashboard.py | ||
reviewer_provisioning.py |