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

redirect micrometer reference #1709

Merged
merged 1 commit into from
Jul 6, 2023
Merged

Conversation

ebullient
Copy link
Member

redirect micrometer to telemetry-micrometer

@@ -0,0 +1,4 @@
---
permalink: /guides/micrometer/index.html
newUrl: /guides/telemetry-micrometer
Copy link
Member

Choose a reason for hiding this comment

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

My understanding is that it should be (or did I miss some magic?):

Suggested change
newUrl: /guides/telemetry-micrometer
newUrl: /guides/telemetry-micrometer-tutorial

Copy link
Member Author

Choose a reason for hiding this comment

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

no. there is both a tutorial (/guides/telemetry-micrometer-tutorial), and a renamed/redone reference guide (/guides/telemetry-micrometer) .. the existing URL (/guides/micrometer/) is to the reference guide (which is a bad cross with a tutorial, I didn't have a chance to fix it earlier).

@github-actions
Copy link

🎊 PR Preview 4460c73 has been successfully built and deployed to https://quarkus-io-pr-1709-preview.surge.sh

@maxandersen maxandersen merged commit 54abcd1 into quarkusio:develop Jul 6, 2023
@maxandersen
Copy link
Member

merged as with 3.2 the micrometer links were broken.

@ebullient ebullient deleted the micrometer branch July 6, 2023 15:17
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.

3 participants