Use GitHub Pull Requests

  • Keep pull requests small and focused.
  • Summarize the change and the rationale.
  • Request reviews from relevant collaborators.
  • Merge after checks pass and feedback is addressed.