Comment by MivLives
5 years ago
1. Should be the case for sure.
2. I think the other argument you could make against that is not everyone has the same time to merge. If it takes two weeks to get merged, I basically have to have the PR in by the second week of October.
DO could just check again for merged PRs whenever they want.