<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">On 05/26/2016 08:57 AM, Max Rydahl
Andersen wrote:<br>
</div>
<blockquote
cite="mid:6DB58E93-A707-477D-BA91-F152D892679C@redhat.com"
type="cite">On 25 May 2016, at 19:45, Nick Boldt wrote:
<br>
<br>
<blockquote type="cite">This is an awesome improvement over having
to resolve the PR locally, but I
<br>
suspect it only works for simple PR changes.
<br>
<br>
---
<br>
Workflow is as follows:
<br>
<br>
a) create a PR, eg.,
<br>
<a class="moz-txt-link-freetext" href="https://github.com/jbosstools/jbosstools-target-platforms/pull/214">https://github.com/jbosstools/jbosstools-target-platforms/pull/214</a>
<br>
</blockquote>
<br>
Why does this PR not have a link to the jenkins build and a
green/red flag marker from the result ?
<br>
</blockquote>
It does. It gets a bit hidden by GitHub when PR is closed, but
there's still the "View Details" button to the right of the commit
and "1 check passed" text that allows to view quick result and
navigate to details.<br>
<div class="moz-signature">-- <br>
Mickael Istria<br>
Eclipse developer at <a href="http://www.jboss.org/tools">JBoss,
by Red Hat</a><br>
<a href="http://mickaelistria.wordpress.com">My blog</a> - <a
href="http://twitter.com/mickaelistria">My Tweets</a></div>
</body>
</html>