Xavier Morel 9de18de454 [CHG] *: move repo cache from forwardbot to mergebot ... If the stagings are going to be created locally (via a git working copy rather than the github API), the mergebot part needs to have access to the cache, so move the cache over. Also move the maintenance cron. In an extermely minor way, this prefigures the (hopeful) eventual merging of the ~~planes~~ modules.		2023-08-25 15:04:48 +02:00
..
pre-migration.py	[CHG] *: move repo cache from forwardbot to mergebot	2023-08-25 15:04:48 +02:00