[jbosstools-dev] Can we have a jenkins build triggered upon github PR?

Tue Apr 26 18:59:22 EDT 2016

+100 to start with a)

On 04/26/2016 02:20 PM, Nick Boldt wrote:
> https://issues.jboss.org/browse/JBIDE-21657
>
> On Tue, Apr 26, 2016 at 1:13 PM, Mickael Istria <mistria at redhat.com> wrote:
>> On 04/26/2016 05:50 PM, Max Rydahl Andersen wrote:
>>
>> in other words, start with a :)
>>
>>> a) does the PR break my tests / want a green light on the PR page
>> +1000. Is there a Jira for that?
>> --
>> Mickael Istria
>> Eclipse developer at JBoss, by Red Hat
>> My blog - My Tweets
>>
>> _______________________________________________
>> jbosstools-dev mailing list
>> jbosstools-dev at lists.jboss.org
>> https://lists.jboss.org/mailman/listinfo/jbosstools-dev
>
>