Xavier Morel 9138aae3d8 [IMP] *: add closed PR to the branch deleter ... 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		2025-03-11 15:28:28 +01:00
..
__init__.py	[ADD] runbot_merge: ~~tree~~ freeze wizard	2021-11-17 10:40:12 +01:00
forwardport.py	[IMP] *: add closed PR to the branch deleter	2025-03-11 15:28:28 +01:00
project_freeze.py	[REM] forwardport: re-enablement of forward ports when closing wizard	2025-02-18 11:45:56 +01:00
project.py	[IMP] *: avoid updating (all) branches in cases where that's unnecessary	2025-03-07 09:15:48 +01:00