Skip to content

Conversation

juliojgd
Copy link
Contributor

MAven coordinates for io.prometheus:prometheus-metrics-exporter-pushgateway were duplicating the groupId inside the artifactId.

…ence

Signed-off-by: Julio Gómez Díaz <juliojgd@gmail.com>
@juliojgd juliojgd marked this pull request as ready for review May 26, 2025 14:38
@spring-projects-issues spring-projects-issues added the status: waiting-for-triage An issue we've not yet triaged label May 26, 2025
@snicoll snicoll changed the title [doc] Fix artifactId in prometheus-metrics-exporter-pushgateway reference Example of using prometheus-metrics-exporter-pushgateway has wrong artifactId May 26, 2025
@snicoll snicoll added type: documentation A documentation update and removed status: waiting-for-triage An issue we've not yet triaged labels May 26, 2025
@snicoll snicoll self-assigned this May 26, 2025
@snicoll snicoll added this to the 3.5.1 milestone May 26, 2025
snicoll pushed a commit that referenced this pull request May 26, 2025
See gh-45684

Signed-off-by: Julio Gómez Díaz <juliojgd@gmail.com>
@snicoll snicoll closed this in f7e43e1 May 26, 2025
@snicoll
Copy link
Member

snicoll commented May 26, 2025

Good catch, thanks @juliojgd

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type: documentation A documentation update
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants