use ceph mirror instead of github

Signed-off-by: Loic Dachary <loic@dachary.org>

diff --git a/ceph-pull-requests/config/definitions/ceph-pull-requests.yml b/ceph-pull-requests/config/definitions/ceph-pull-requests.yml
index 6726f9692ae3db4c8dac7dab22b782a39d2d2aae..7d26b1815f78ed4866ecdd2e13a0b170cfa6bc86 100644 (file)
--- a/ceph-pull-requests/config/definitions/ceph-pull-requests.yml
+++ b/ceph-pull-requests/config/definitions/ceph-pull-requests.yml
@@ -12,7 +12,7 @@
     retry-count: 3
     properties:
       - github:
-          url: https://github.com/ceph/ceph
+          url: git@jenkins:ceph/ceph
     logrotate:
       daysToKeep: 15
       numToKeep: 30