2 Commits

Author	SHA1	Message	Date
Xavier Morel	e88e6fed34	[FIX] convert source_url to only include the token ... not having to deal with the username is much easier	2023-08-22 08:00:48 +02:00
Xavier Morel	b1f63e52f3	[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-16 14:37:28 +02:00