<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 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 href="http://www.jboss.org/tools" target="_blank">JBoss, by Red Hat</a><br>
<a href="http://mickaelistria.wordpress.com" target="_blank">My blog</a> - <a 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 href="mailto:jbosstools-dev@lists.jboss.org" target="_blank">jbosstools-dev@lists.jboss.org</a>
<a 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>