diff --git a/src/main/resources/templates/simple_fingerprint_ui.html b/src/main/resources/templates/simple_fingerprint_ui.html index c7652fd21102c45fd9c9b3a5bca1d224f561c942..358cefb5d70336fab754feb06d6adbe388cc468e 100644 --- a/src/main/resources/templates/simple_fingerprint_ui.html +++ b/src/main/resources/templates/simple_fingerprint_ui.html @@ -24,6 +24,10 @@ .icon-toggle.glyphicon { top: 3px; } + + a.underline { + text-decoration: underline; + } </style>|} <div class="container" id="main-page-content"> @@ -64,6 +68,11 @@ NO {/if} </li> + {#if fullRepoName ne null && pullRequestNumber ne null && statuses.0.provider == ProviderType:GITHUB} + <li> + <strong>Pull request:</strong> <a class="underline" href="https://github.com/{fullRepoName}/pull/{pullRequestNumber}" target="_blank" >#{pullRequestNumber}</a> + </li> + {/if} </ul> <a href="{repoUrl}" target="_blank" class="btn btn-primary margin-top-10">Project repository</a> </div>