Xavier Morel bcf6074153 [FIX] runbot_merge: maintenance gc command ... `gc --prune` can not take a *separate* parameter, it has to be part of the same arg (the `=` is not optional), otherwise the `gc` call blows up. So use the positional form of the git command to generate the correct invocation, Python-level `foo=bar` generates a split-style option in two args which does not please git.		2024-02-26 09:58:22 +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: maintenance gc command	2024-02-26 09:58:22 +01:00
git_maintenance.xml	[CHG] *: move repo cache from forwardbot to mergebot	2023-08-25 15:04:48 +02:00