Add extra links to the patch page

diff --git a/pgcommitfest/commitfest/templates/patch.html b/pgcommitfest/commitfest/templates/patch.html
index c0df8fab53eb94b0c5aa6a533666053375fd5f6e..1205d9189338e23de9b55d9a412a41387d979458 100644 (file)
--- a/pgcommitfest/commitfest/templates/patch.html
+++ b/pgcommitfest/commitfest/templates/patch.html
@@ -4,6 +4,10 @@
 {%include "patch_commands.inc"%}
 <table class="table table-bordered">
   <tbody>
+    <tr>
+      <th>ID</th>
+      <td><a href="/patch/{{patch.id}}">{{patch.id}}</a></td>
+    </tr>
     <tr>
       <th>Title</th>
       <td>{{patch.name}}</td>
@@ -51,10 +55,11 @@
     </tr>
     <tr>
       <th>Links</th>
-      <td>
-       {%if patch.wikilink%}<a href="{{patch.wikilink}}">Wiki</a>{%endif%}
-       {%if patch.gitlink%}<a href="{{patch.gitlink}}">Git</a>{%endif%}
-      </td>
+      <td style="white-space:pre-line"><a href="https://cirrus-ci.com/github/postgresql-cfbot/postgresql/cf%2F{{patch.id}}">CFbot results (CirrusCI)</a>
+      <a href="https://github.com/postgresql-cfbot/postgresql/compare/cf/{{patch.id}}~1...cf/{{patch.id}}">CFbot GitHub</a>{%if patch.wikilink%}
+      <a href="{{patch.wikilink}}">Wiki</a>{%endif%}{%if patch.gitlink%}
+      <a href="{{patch.gitlink}}">Git</a>
+      {%endif%}</td>
     </tr>
     <tr>
       <th>Emails</th>