From d7f3aa6fa9e67905d81aa9a7a51006f4eb283d4a Mon Sep 17 00:00:00 2001
From: Brian Clozel <bclozel@vmware.com>
Date: Wed, 14 Oct 2020 09:38:35 +0200
Subject: [PATCH] Add Spring Milestone repository to build

---
 build.gradle    | 2 +-
 settings.gradle | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index 3d113a52..d3e0c28b 100644
--- a/build.gradle
+++ b/build.gradle
@@ -17,7 +17,7 @@ subprojects {
 	repositories {
 		mavenCentral()
 		maven { url 'https://repo.spring.io/milestone' }
-		maven { url "https://repo.spring.io/snapshot" }
+		maven { url 'https://repo.spring.io/snapshot' }
 	}
 
 	dependencyManagement {
diff --git a/settings.gradle b/settings.gradle
index b48142ac..68c91de5 100644
--- a/settings.gradle
+++ b/settings.gradle
@@ -1,6 +1,7 @@
 pluginManagement {
 	repositories {
 		mavenCentral()
+		maven { url 'https://repo.spring.io/milestone' }
 		maven { url 'https://repo.spring.io/snapshot' }
 	}
 }