Skip to content

Remove maven settings.xml file#1338

Merged
pkwarren merged 1 commit intomainfrom
pkw/remove-maven-settings
Dec 8, 2025
Merged

Remove maven settings.xml file#1338
pkwarren merged 1 commit intomainfrom
pkw/remove-maven-settings

Conversation

@pkwarren
Copy link
Member

@pkwarren pkwarren commented Dec 8, 2025

The Maven settings.xml file is generated by actions/setup-java by default, so we don't need to maintain our own copy.

Remove documentation about doing manual builds as every build should be triggered by CI.

The Maven settings.xml file is generated by actions/setup-java by
default, so we don't need to maintain our own copy.

Remove documentation about doing manual builds as every build should be
triggered by CI.
@pkwarren pkwarren requested review from rodaine and rubensf December 8, 2025 23:33
@pkwarren pkwarren enabled auto-merge (squash) December 8, 2025 23:36
@pkwarren pkwarren merged commit d96204f into main Dec 8, 2025
5 checks passed
@pkwarren pkwarren deleted the pkw/remove-maven-settings branch December 8, 2025 23:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants