Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Move pom-main.xml and pom-versioned.xml to separate folders #957

Merged
merged 1 commit into from Apr 24, 2023

Conversation

theigl
Copy link
Collaborator

@theigl theigl commented Apr 23, 2023

This allows us to use a more standard Maven project setup and should work with GitHub's Dependency Graph and Dependabot.

See https://github.com/orgs/community/discussions/53539

@theigl theigl self-assigned this Apr 23, 2023
@theigl theigl force-pushed the source-structure branch 4 times, most recently from 25a7f41 to 1686533 Compare April 23, 2023 17:17
This allows us to use a more standard Maven project setup and should work with GitHub's Dependency Graph and Dependabot.
@theigl theigl merged commit 4747459 into master Apr 24, 2023
1 check passed
@theigl theigl deleted the source-structure branch April 24, 2023 07:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Development

Successfully merging this pull request may close these issues.

None yet

1 participant