From 96ebc2eb636d8ed04c3cb4cf4f961821a4a1f311 Mon Sep 17 00:00:00 2001
From: Andy Wilkinson <wilkinsona@vmware.com>
Date: Thu, 10 Aug 2023 13:39:11 +0100
Subject: [PATCH] Remove unused plugin repository

See gh-62
---
 settings.gradle | 1 -
 1 file changed, 1 deletion(-)

diff --git a/settings.gradle b/settings.gradle
index d31e0c5..fc40443 100644
--- a/settings.gradle
+++ b/settings.gradle
@@ -1,7 +1,6 @@
 pluginManagement {
 	repositories {
 		mavenCentral()
-		maven { url 'https://repo.spring.io/plugins-release-local' }
 		gradlePluginPortal()
 	}
 	resolutionStrategy {