Can't retry a PR with treeclosed applied

Question

Can't retry a PR with treeclosed applied

Closed this issue 7 years ago · 3 comments

With treeclosed=1000 a single PR with p=1001 that fails to land, doing @bors-servo: retry is ignored and no progress can be made until the tree is reopened.

Manishearth commented 7 years ago

#121

Answer 1 · 2017-05-25T23:32:18.000Z

I think https://github.com/servo/homu/blob/master/homu/main.py#L1226 should be a continue

Answer 2 · 2017-07-20T15:39:51.000Z

Should be fixed when #121 lands.