Xavier Morel fe8a4588d3 [FIX] runbot_merge: try to fix race condition again ... Original issue (staging would get cancelled just as it was being merged) was not really fixed but traded for a new one: serialization errors which can lock up the mergebot for a long time, stopping handling of all incoming signals (possibly/probably because all of them try to write on the PR which is locked?). Splitting the tagging cron out should already way improve things as the status update cron should be way shorter (and thus hold its locks for a smaller amount of time). This should also avoid the "close" handler waiting on the extant transaction, and make the "pr update" transaction be much shorter as each staging gets its own tnx.		2018-10-16 15:10:43 +02:00
..
merge_cron.xml	[FIX] runbot_merge: try to fix race condition again	2018-10-16 15:10:43 +02:00