<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Yes, we should work on that workflow.<br>
<br>
<div class="moz-cite-prefix">On 06/22/2016 11:20 AM, Jean-Francois
Maury wrote:<br>
</div>
<blockquote
cite="mid:CAG6Rg+nBpo89bF27hT43AXgn2R_MYkpm93YubibsnkRX56b4hg@mail.gmail.com"
type="cite">
<div dir="ltr">Will it be part of our merge workflow ie merging
the PR won't be allowed if the status is not green or has it to
be manually by the merger ?
<div><br>
</div>
<div>jeff</div>
</div>
<div class="gmail_extra"><br>
<div class="gmail_quote">On Wed, Jun 22, 2016 at 3:00 PM, Alexey
Kazakov <span dir="ltr"><<a moz-do-not-send="true"
href="mailto:alkazako@redhat.com" target="_blank">alkazako@redhat.com</a>></span>
wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">
<div text="#000000" bgcolor="#FFFFFF"> Jeff, is a member of
JBoss Tools organization.
<div>
<div class="h5"><br>
<br>
<div>On 06/22/2016 06:34 AM, Mickael Istria wrote:<br>
</div>
</div>
</div>
<blockquote type="cite">
<div>
<div class="h5">
<div>On 06/22/2016 12:28 PM, Jean-Francois Maury
wrote:<br>
</div>
<blockquote type="cite">
<div dir="ltr">Did it get relaunched when the PR
is updated ?</div>
</blockquote>
If it's updated by someone who's whitelisted (member
of JBoss Tools organization on GitHub), then yes, it
should be relaunched automatically. If it's from
someone external, I believe someone has to say
"testPR" to relaunch.<br>
On the GitHub PR, you can click on the "Show
details" link for the build. It will drive you to
Jenkins and on Jenkins you get access to more
metadata such as the commitId that was built.<br>
<br>
HTH<br>
<div>-- <br>
Mickael Istria<br>
Eclipse developer at <a moz-do-not-send="true"
href="http://www.jboss.org/tools"
target="_blank">JBoss, by Red Hat</a><br>
<a moz-do-not-send="true"
href="http://mickaelistria.wordpress.com"
target="_blank">My blog</a> - <a
moz-do-not-send="true"
href="http://twitter.com/mickaelistria"
target="_blank">My Tweets</a></div>
<br>
<fieldset></fieldset>
<br>
</div>
</div>
<span class="">
<pre>_______________________________________________
jbosstools-dev mailing list
<a moz-do-not-send="true" href="mailto:jbosstools-dev@lists.jboss.org" target="_blank">jbosstools-dev@lists.jboss.org</a>
<a moz-do-not-send="true" href="https://lists.jboss.org/mailman/listinfo/jbosstools-dev" target="_blank">https://lists.jboss.org/mailman/listinfo/jbosstools-dev</a></pre>
</span></blockquote>
<br>
</div>
</blockquote>
</div>
<br>
</div>
</blockquote>
<br>
</body>
</html>