Git Workflow / Merge via Pull Request
[**TODO smalers 2017-02-12 Need to describe here how to merge using pull request.]
This is appropriate for teams that use pull requests from third parties and internal developers that only have read permissions on a repository.