Xavier Morel de32b54090 [FIX] runbot_merge: error in maintenance, and tracking ... Before this, we would check if a repository had a name and run maintenance on it, leading to repeated (but unnoticed until now because I didn't monitor it) tracebacks as the maintenance cron would fail to find the local repo then run maintenance on nowhere anyway. Also augment the repo-finding process to try and get better information about what it's doing when it fails, rather than failing completely silently.		2024-02-23 13:58:31 +01:00
..
__init__.py	[ADD] runbot_merge: delete scratch branches when a branch is disabled	2023-08-31 09:07:01 +02:00
cleanup_scratch_branches.py	[ADD] runbot_merge: delete scratch branches when a branch is disabled	2023-08-31 09:07:01 +02:00
cleanup_scratch_branches.xml	[ADD] runbot_merge: delete scratch branches when a branch is disabled	2023-08-31 09:07:01 +02:00
git_maintenance.py	[FIX] runbot_merge: error in maintenance, and tracking	2024-02-23 13:58:31 +01:00
git_maintenance.xml	[CHG] *: move repo cache from forwardbot to mergebot	2023-08-25 15:04:48 +02:00