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. Click button to merge.

Merge via CLI

1. Review pull request.
2. Follow instructions at bottom of pull request on how to merge it via CLI.

Add commits.

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