[jbosstools-dev] Block PRs for merge untill the Jenkins build is successful

[Mickael Istria]

FYI, not merging the broken patches is the policy followed by most
Eclipse.org projects and overall, none of this project has complained from
a reduced productivity; on the contrary, catching and fixing issues
immediately on the right context has improved quality and reduced the
necessary amount of quick fix patches (which are actually quite time
consuming and stressful for their low added-value).
So I think if it works for Eclipse.org projects, it can work for JBoss
Tools.

Cheers,
Mickael
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.jboss.org/pipermail/jbosstools-dev/attachments/20170509/1503804c/attachment.html