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
..
__init__.py	[ADD] runbot_merge: ~~tree~~ freeze wizard	2021-11-17 10:40:12 +01:00
forwardport.py	[CHG] *: move repo cache from forwardbot to mergebot	2023-08-25 15:04:48 +02:00
project_freeze.py	[FIX] runbot_merge: sync PR target and message on check	2023-01-25 12:25:45 +01:00
project.py	[CHG] runbot_merge: perform stagings in a local clone of the repo	2023-08-25 15:33:25 +02:00