Maintainer Guidelines
Make sure contributors are respecting the Contribution Guidelines. If they don't let them know about it: what is missing, what was disrespected?
- When possible get a second opinion before merging.
- Make sure the PR has a link to the issue.
- If you can, let them know why your change request makes sense.
- (nice to have) If you have time, thank them for contributing to the project.
TL;DR:
- Select "Squash and Merge".
- Edit commit if necessary to follow our style guide and leave the PR id in the message.
Long version:
About merging pull requests (PRs), to keep the project commit history clean, it's important to have all commits from a PR to be squashed when merging. For this you may have to select "Squash and Merge" option:
If the commit does not follow our Commit Message Style Guide, make sure to ask the contributor to fix it or you can fix it when merging.
Make sure to always leave the PR identifier, so that we can traceback a commit to a specific PR.