<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Jeff, is a member of JBoss Tools organization.<br>
<br>
<div class="moz-cite-prefix">On 06/22/2016 06:34 AM, Mickael Istria
wrote:<br>
</div>
<blockquote cite="mid:576A699B.70408@redhat.com" type="cite">
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
<div class="moz-cite-prefix">On 06/22/2016 12:28 PM, Jean-Francois
Maury wrote:<br>
</div>
<blockquote
cite="mid:CAG6Rg+mEmvxUxqBVkqNt7kGCOAPRSgoLPBz1Pg2Ftgft5o+oAA@mail.gmail.com"
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 class="moz-signature">-- <br>
Mickael Istria<br>
Eclipse developer at <a moz-do-not-send="true"
href="http://www.jboss.org/tools">JBoss, by Red Hat</a><br>
<a moz-do-not-send="true"
href="http://mickaelistria.wordpress.com">My blog</a> - <a
moz-do-not-send="true" href="http://twitter.com/mickaelistria">My
Tweets</a></div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
jbosstools-dev mailing list
<a class="moz-txt-link-abbreviated" href="mailto:jbosstools-dev@lists.jboss.org">jbosstools-dev@lists.jboss.org</a>
<a class="moz-txt-link-freetext" href="https://lists.jboss.org/mailman/listinfo/jbosstools-dev">https://lists.jboss.org/mailman/listinfo/jbosstools-dev</a></pre>
</blockquote>
<br>
</body>
</html>