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

TLS reference guide IDs' unification #43315

Merged
merged 1 commit into from
Sep 16, 2024
Merged

Conversation

MichalMaler
Copy link
Contributor

A small unification PR that unifies the creation and use of anchored IDs.

  • [#ID] -> [[ID]]
  • putting an anchor above its related heading

Signed-off-by: Michal Maléř <mmaler@redhat.com>
@MichalMaler MichalMaler added area/docstyle issues related for manual docstyle review triage/waiting-for-ci Ready to merge when CI successfully finishes triage/backport labels Sep 16, 2024
@jmartisk jmartisk merged commit 2b814d3 into quarkusio:main Sep 16, 2024
5 checks passed
@quarkus-bot quarkus-bot bot added this to the 3.16 - main milestone Sep 16, 2024
@quarkus-bot quarkus-bot bot removed the triage/waiting-for-ci Ready to merge when CI successfully finishes label Sep 16, 2024
Copy link

github-actions bot commented Sep 16, 2024

🎊 PR Preview afef05e has been successfully built and deployed to https://quarkus-pr-main-43315-preview.surge.sh/version/main/guides/

  • Images of blog posts older than 3 months are not available.
  • Newsletters older than 3 months are not available.

@MichalMaler MichalMaler deleted the TLS-polish branch September 16, 2024 12:44
@MichalMaler
Copy link
Contributor Author

@gsmet Hello Guillaume. This is just a kind notice that this PR needs to be added to your next 3.15 backport batch. Thank you! :)
Regards, Mickey.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/docstyle issues related for manual docstyle review area/documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants