On 26 May 2015, at 16:11, John Sanda wrote:
Does there need to be a pull request for every ticket? Put another
way, do all commits to master need to come by way of PRs? I think that
there are scenarios where a manual merge makes more sense.
I think the pull-request itself is not the issue here, but the case that
something that goes into master should have seen some peer-review
before.
How that happens - via pull-request, patch in email or a separate branch
that gets merged is secondary.