3 ms·
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
by MivLives 6y 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.
- pseudalopex 6y agoDO could just check again for merged PRs whenever they want.
- deleted 6y ago[deleted]