Managing Pull Requests

These are listed in order of complexity/involvement needed to resolve a pull request.

Merge via GitHub UI

1. Review pull request.
2. Wait for workflow to pass all checks
3. Click button to merge.

Merge via CLI

Not allowed.

Add commits.

1. https://help.github.com/articles/committing-changes-to-a-pull-request-branch-created-from-a-fork/