Closed evrardjp closed 4 years ago
We just need the PR to be correct semantically, as it is what will be merged. The commits only matter for reviewing, and for context when checking the history.
We just need the PR to be correct semantically, as it is what will be merged. The commits only matter for reviewing, and for context when checking the history.