SDKMAN should not use repo.spring.io for releases

[philwebb]

See

spring-boot/ci/images/releasescripts/src/main/java/io/spring/concourse/releasescripts/sdkman/SdkmanService.java

Line 43 in 3bcc7ec

private static final String DOWNLOAD_URL = "https://repo.spring.io/simple/libs-release-local/org/springframework/boot/spring-boot-cli/"

[sannanansari]

Hi @philwebb, can I contribute to this issue. I have gone through #33702.

[wilkinsona]

Closing in favor of #33708. Thanks, @sannanansari.

[breun]

According to https://issues.apache.org/jira/browse/MNG-5151 Maven first used repo1.maven.org, but later decided on making repo.maven.apache.org the default hostname for Maven Central, so maybe that should be used?

[wilkinsona]

Thanks, @breun. I've opened #33938.