Skip to content

Remove unneeded Maven repository declarations#3902

Merged
duanemay merged 1 commit intodevelopfrom
repo_cleanup
May 6, 2026
Merged

Remove unneeded Maven repository declarations#3902
duanemay merged 1 commit intodevelopfrom
repo_cleanup

Conversation

@duanemay
Copy link
Copy Markdown
Member

@duanemay duanemay commented May 6, 2026

No description provided.

Copilot AI review requested due to automatic review settings May 6, 2026 16:26
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR removes redundant Maven repository declarations from the Gradle build configuration, relying on mavenCentral() / gradlePluginPortal() where appropriate and keeping only the additional repos that are still needed (e.g., Shibboleth).

Changes:

  • Removed Spring milestone repository from uaa/build.gradle.
  • Removed an explicit Gradle Plugin Portal Maven URL from the root build.gradle buildscript repositories (already covered by gradlePluginPortal()).
  • Removed the JitPack repository from root build.gradle subproject repositories (no remaining references require it).

Reviewed changes

Copilot reviewed 1 out of 2 changed files in this pull request and generated no comments.

File Description
uaa/build.gradle Drops the Spring milestone repo declaration, leaving only the Shibboleth releases repository.
build.gradle Removes redundant plugin repo URL and removes JitPack from subproject repositories.

@github-project-automation github-project-automation Bot moved this from Inbox to Pending Merge | Prioritized in Foundational Infrastructure Working Group May 6, 2026
@duanemay duanemay merged commit 4b94527 into develop May 6, 2026
38 of 39 checks passed
@duanemay duanemay deleted the repo_cleanup branch May 6, 2026 18:30
@github-project-automation github-project-automation Bot moved this from Pending Merge | Prioritized to Done in Foundational Infrastructure Working Group May 6, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Development

Successfully merging this pull request may close these issues.

3 participants