Xavier Morel b0b609ebe7 [CHG] runbot_merge: perform stagings in a local clone of the repo ... The github API has gotten a lot more constraining (with rate restrictions being newly enforced or added somewhat out of nowhere), and as importantly a lot less reliable. So move the staging process off of github and locally, similar to the forward porting process (whose repo cache is being reused for this). Fixes #247		2023-08-25 15:33:25 +02:00
..
crons.xml	[CHG] *: move repo cache from forwardbot to mergebot	2023-08-25 15:04:48 +02:00
queues.xml	[IMP] mergebot, forwardbot: various UI bits	2022-06-30 15:07:49 +02:00
security.xml	[CHG] *: move repo cache from forwardbot to mergebot	2023-08-25 15:04:48 +02:00
views.xml	[IMP] forwardport: when fetching identity avoid emails if possible	2023-08-25 15:31:06 +02:00