Xavier Morel 3c633cb70d [IMP] runbot_merge: concurrency issue with GH closing PRs being merged ... Once more unto the breach, with the issue of pushing stagings (with "closes" annotations) to the target branch making GH close the PR & send the hook, which makes runbot_merge consider the PR closed and the staging cancelled. This probably still doesn't fix the issue, but it reduces the problematic window: before this, the process first updates the branches, then marks the PRs, then comments & closes the PRs, and finally commits the PR update. This means as runbot_merge is sending a comment & a status update to each PR in a staging, GH has some time to send the "closed" webhook behind its back, making the controller immediately cancel the current staging, especially if the v3 endpoint is a bit slow. By moving the commenting & closing out of the critical path (to the feedback queue), this window should be significantly shortened.		2018-10-24 16:14:31 +02:00
..
__init__.py	[ADD] runbot_merge: a merge bot	2018-09-03 13:16:36 +02:00
pull_requests.py	[IMP] runbot_merge: concurrency issue with GH closing PRs being merged	2018-10-24 16:14:31 +02:00
res_partner.py	[ADD] runbot_merge: a merge bot	2018-09-03 13:16:36 +02:00