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

[Jean-Francois Maury]

I'm ok with that rule except for one case when the pr is done before the
version bump has been merged then the Jenkins build will fail because of
the baseline check so maybe we need to update the pr Jenkins build

Jeff

Le 9 mai 2017 23:10, "Mickael Istria" <mistria at redhat.com> a écrit :

> 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
>
> _______________________________________________
> jbosstools-dev mailing list
> jbosstools-dev at lists.jboss.org
> https://lists.jboss.org/mailman/listinfo/jbosstools-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.jboss.org/pipermail/jbosstools-dev/attachments/20170510/17b0215d/attachment.html