Xavier Morel dd29e6b8a8 [IMP] runbot_merge: attempt to fix race condition ... Because mergebot cron can run on any runbot, it's apparently possible that a staging gets merged and the "closed" feedback from github overwrites the merged status which the mergebot is supposed to set despite the supposed protection.		2018-10-08 16:52:33 +02:00
..
__init__.py	[IMP] runbot_merge: attempt to fix race condition	2018-10-08 16:52:33 +02:00
dashboard.py	[FIX] runbot_merge: handling of PRs of >50 commits	2018-09-20 15:28:55 +02:00