Pull Requests

Jump to bottom

Yoom Lam edited this page Jun 22, 2022 · 16 revisions

Procedure for submitting and merging PRs (pull requests).

Create a pull request
Add reviewers
Reviewers provide feedback, clearly marking blocking and non-blocking suggestions
Address feedback and repeat review step until PR is approved
Squash and merge PR