commit 4bbefa313c2843819f3e830cf45763164afb170b
author Philipp Wollermann <philwo@google.com> Mon Jan 08 13:15:20 2018 +0100
committer Philipp Wollermann <philwo@google.com> Tue Jan 09 12:47:08 2018 +0100
tree a86b6a5a8fa5afa059e8f8da5c7e48f36591e5bb
parent 707617fdbc99ce15f7ad1957c3442b93eb660204

Use updates.jenkins-ci.org to get plug-ins.

Change-Id: Ia43e4e46882d376ed1feecbd50e38ca79d879083

jenkins/base/jenkins_base.bzl

diff --git a/jenkins/base/jenkins_base.bzl b/jenkins/base/jenkins_base.bzl
index 937d0bd..6b45aa2 100644
--- a/jenkins/base/jenkins_base.bzl
+++ b/jenkins/base/jenkins_base.bzl
@@ -15,7 +15,8 @@
 # Some definition to create a base image for jenkins in docker
 
 load("@io_bazel_rules_docker//docker:docker.bzl", "docker_pull")
-JENKINS_PLUGINS_URL = "http://mirrors.xmission.com/jenkins/plugins/{name}/{version}/{name}.hpi"
+
+JENKINS_PLUGINS_URL = "http://updates.jenkins-ci.org/download/plugins/{name}/{version}/{name}.hpi"
 
 def _jenkins_image_impl(repository_ctx):
   repository_ctx.file("plugins/BUILD", """