Xavier Morel 4b9fb513eb [IMP] *: make to_pr more resilient to webhook delays ... Github delivery delays keep getting worse. Depending on what comes before `to_pr`, this leads it to fail more often as it runs before the PR it's looking for was signaled to the mergebot. In order to mitigate this issue, add a wait loop in `to_pr`, waiting up to 4 seconds for the PR it's looking for before aborting. Also replace manual lookups by `to_pr` in every method of `TestPRUpdate` while at it since it hit a few of the issues. And remove the xfail test case since it seems unlikely github will change tack (maybe? could be worth testing to be sure).		2024-01-16 15:03:45 +01:00
..
utils.py	[IMP] *: make to_pr more resilient to webhook delays	2024-01-16 15:03:45 +01:00