Skip to content

Migrate to Maven Central Publisher Portal#208

Merged
marcphilipp merged 1 commit intomainfrom
marc/central-portal-migration
May 14, 2025
Merged

Migrate to Maven Central Publisher Portal#208
marcphilipp merged 1 commit intomainfrom
marc/central-portal-migration

Conversation

@marcphilipp
Copy link
Member

@marcphilipp marcphilipp self-assigned this Apr 17, 2025
@marcphilipp marcphilipp force-pushed the marc/central-portal-migration branch from dea0f63 to 7b7b7c9 Compare May 14, 2025 15:04
@marcphilipp marcphilipp force-pushed the marc/central-portal-migration branch from 7b7b7c9 to 62cc5bf Compare May 14, 2025 15:07
@marcphilipp marcphilipp marked this pull request as ready for review May 14, 2025 15:08
@marcphilipp marcphilipp merged commit 7a24f0b into main May 14, 2025
5 checks passed
@marcphilipp marcphilipp deleted the marc/central-portal-migration branch May 14, 2025 15:10
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.

1 participant

Comments