docs: update for rename of libvirt-jenkins.ci repository

Reviewed-by: Ján Tomko <jtomko@redhat.com>
Signed-off-by: Daniel P. Berrangé <berrange@redhat.com>

diff --git a/docs/downloads.html.in b/docs/downloads.html.in
index aa3f5b73a9788af99e4364c792c8915ec7a49eaa..cbd5283c02c8659232a0eeeafdccbf49aca02abc 100644 (file)
--- a/docs/downloads.html.in
+++ b/docs/downloads.html.in
@@ -325,14 +325,14 @@
           <td></td>
         </tr>
         <tr>
-          <td>Jenkins Config</td>
+          <td>Continuous Integration Config</td>
           <td></td>
           <td>
-            <a href="https://gitlab.com/libvirt/libvirt-jenkins-ci">gitlab</a>
+            <a href="https://gitlab.com/libvirt/libvirt-ci">gitlab</a>
           </td>
           <td class="gitmirror">
-            <a href="https://libvirt.org/git/?p=libvirt-jenkins-ci.git;a=summary">libvirt</a>
-            <a href="https://github.com/libvirt/libvirt-jenkins-ci">github</a>
+            <a href="https://libvirt.org/git/?p=libvirt-ci.git;a=summary">libvirt</a>
+            <a href="https://github.com/libvirt/libvirt-ci">github</a>
           </td>
           <td></td>
         </tr>