Closed maniackcrudelis closed 5 years ago
Minor decision
Can be merged in 3 days (if the CI says so)
Has failed on a "corrupt source" during the upgrade. Never mind...
Problem
Solution
PR Status
Validation
Minor decision
When the PR is marked as ready to merge, you have to wait for 3 days before really merging it.