Skip to content

Latest commit

 

History

History
36 lines (24 loc) · 1.58 KB

pull-requests.md

File metadata and controls

36 lines (24 loc) · 1.58 KB

Managing pull requests

You should:

Labels and milestones

You should:

  • assign zero or more pr: * labels

You should not use any:

  • other labels
  • milestones

Titles

You should follow the conventions for issue titles. If a pull request has a corresponding issue, their titles should match.

Merging

When merging a PR, you should:

  1. Use your judgment for the number of approvals needed:
    • one approval is usually fine for simple fixes
    • two approvals are often useful for bigger changes
  2. If applicable, add a changeset using the GitHub interface:
    • prefix the entry with either: "Removed", "Changed", "Deprecated", "Added", "Fixed" or "Security"
    • if applicable, lead with the name of the rule, e.g. "Fixed: unit-disallowed-list false positives for custom properties"
  3. "Squash and merge" commits ensuring the resulting commit message:
    • either matches the changeset entry but in the present tense, e.g. "Fix unit-disallowed-list false positives for custom properties"
    • or is in sentence case and descriptive, e.g. "Refactor colour-no-named to use new AST"