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

[Max Rydahl Andersen]

On 8 May 2016, at 23:29, Mickael Istria wrote:

> Is there a Jira existing on this topic?

https://issues.jboss.org/browse/JBIDE-21657

>
> -- 
> Mickael Istria
> Eclipse developer at JBoss, by Red Hat <http://www.jboss.org/tools>
> My blog <http://mickaelistria.wordpress.com> - My Tweets 
> <http://twitter.com/mickaelistria>


> _______________________________________________
> jbosstools-dev mailing list
> jbosstools-dev at lists.jboss.org
> https://lists.jboss.org/mailman/listinfo/jbosstools-dev


/max
http://about.me/maxandersen