4 ms·
Ah, but it wouldn’t be something as inelegant as a force push. No no. You do merge. It’s just that the outcome is slightly… biased.
by fuzzy2 3y ago
Ah, but it wouldn’t be something as inelegant as a force push. No no. You do merge. It’s just that the outcome is slightly… biased.
- kiitos 3y agoOK, so we're talking about allowing PR merges without a +1 from a reviewer? That's less-bad, but still a red flag :grimacing: