Closed maniackcrudelis closed 5 years ago
Minor decision
Will be merged in 3 days
maybe wait for #35 to be merged before merging...? :thinking:
Problem
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.