Xavier Morel 0cd587fce7 [FIX] runbot_merge: don't blow the fetch loop when a PR has no label ... No test because I don't understand how / why it's triggered, it's just that some PRs don't have a label. I assumed the issue occurred when the source branch or even repo (cross-repo PR) was deleted, but it doesn't seem to trigger the issue (or in any case not in as short a time as a test, maybe GH eventually does some vacuuming which causes the issue? Anyway we may eventually want to reclaim these PRs (allowing a lack of label and treating them like the patch-\d labels: with no semantic value) however the simplest thing to do for now is to just ignore the corresponding PR. closes #101		2019-03-01 16:42:58 +01:00
..
__init__.py	[ADD] runbot_merge: a merge bot	2018-09-03 13:16:36 +02:00
pull_requests.py	[FIX] runbot_merge: don't blow the fetch loop when a PR has no label	2019-03-01 16:42:58 +01:00
res_partner.py	[ADD] runbot_merge: sign off commits by reviewer	2019-02-26 13:36:46 +01:00