mirror of
https://github.com/odoo/runbot.git
synced 2025-03-15 23:45:44 +07:00
9138aae3d8
Also reduce the grace period for merged PR branches to 1 week (from 2), and go through the on-disk repository instead of the github API. Technically it might even be possible to do this un bulk, though that seems annoying in case of failure (e.g. because somebody else deleted the branch previously). Fixes #1082 |
||
|---|---|---|
| .. | ||
| changelog | ||
| data | ||
| migrations | ||
| models | ||
| tests | ||
| __init__.py | ||
| __manifest__.py | ||
| controllers.py | ||