Xavier Morel 6dbfde0389 [ADD] runbot_merge: add tests to try and expose the mystery of staging 13 ... Staging 13 tried merging 3 PRs (27085, 27083 and 27071) and supposedly succeeded *but* only merged one of the 3 PRs despite marking all three as merged. I tried building a few tests constructing multi-PR graphs and checking them, but the only thing they exposed was the local github implementation not correctly updating merge targets. So fixed that, which is good. Doesn't tell me why the staging didn't work right though.		2018-09-19 17:33:25 +02:00
..
__init__.py	[ADD] runbot_merge: add tests to try and expose the mystery of staging 13	2018-09-19 17:33:25 +02:00
git.py	[FIX] runbot_merge: a few warnings	2018-09-03 13:16:36 +02:00