From 23a49f2cc4b07d053e90ec51c7b0960b265f6ed2 Mon Sep 17 00:00:00 2001
From: peter <peter@jetbrains.com>
Date: Thu, 24 May 2018 13:37:54 +0200
Subject: [PATCH] specify a mirror for Groovy Bintray repository
 (IDEA-CR-32914)

---
 .idea/jarRepositories.xml | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/.idea/jarRepositories.xml b/.idea/jarRepositories.xml
index 80889d7ec7ab..6b9746bbef4e 100644
--- a/.idea/jarRepositories.xml
+++ b/.idea/jarRepositories.xml
@@ -27,8 +27,13 @@
       <option name="url" value="https://repo.jenkins-ci.org/releases" />
     </remote-repository>
     <remote-repository>
-      <option name="id" value="a78e8595-cdf4-489b-ad0b-ae2c3c5a8339" />
-      <option name="name" value="a78e8595-cdf4-489b-ad0b-ae2c3c5a8339" />
+      <option name="id" value="groovy-proxy" />
+      <option name="name" value="Groovy Bintray Repository Mirror" />
+      <option name="url" value="https://repo.labs.intellij.net/bintray-groovy" />
+    </remote-repository>
+    <remote-repository>
+      <option name="id" value="groovy" />
+      <option name="name" value="Groovy Bintray Repository" />
       <option name="url" value="https://dl.bintray.com/groovy/maven/" />
     </remote-repository>
   </component>