Skip to content

Latest commit

 

History

History
30 lines (18 loc) · 1.6 KB

MAINTAINER_GUIDELINES.md

File metadata and controls

30 lines (18 loc) · 1.6 KB

Guidelines

Make sure contributors are respecting the Contribution Guidelines. If they don't let them know about it: what is missing, what was disrespected?

Code Review

  • 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.
  • Make sure that, if the PR changes actual code, to properly test it or wait for someone to confirm the behavior

Merging PRs

TL;DR:

  1. Select "Squash and Merge".
  2. 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:

Squash and Merge on GitHub

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.

Edit Commit when Merging

Make sure to always leave the PR identifier, so that we can traceback a commit to a specific PR.