[Hawkular-dev] [process] tickets and PRs

[Heiko W.Rupp]

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.