Re: [jbosstools-dev] Can we have a jenkins build triggered upon github PR?
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(a)lists.jboss.org
https://lists.jboss.org/mailman/listinfo/jbosstools-dev
/max
http://about.me/maxandersen