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

[3.8] Use the correct extension names for 3.8 #41901

Merged
merged 1 commit into from
Jul 16, 2024

Conversation

rolfedh
Copy link
Contributor

@rolfedh rolfedh commented Jul 15, 2024

When I cherry-picked PR #39999 to the 3.8 branch in PR #40887, I unintentionally included a few new extension names referenced in the Migration Guide for 3.9.

I have reviewed all the security documentation topics to ensure that no additional new extension names have been inadvertently included.

@quarkus-bot
Copy link

quarkus-bot bot commented Jul 15, 2024

Thanks for your pull request!

Your pull request does not follow our editorial rules. Could you have a look?

  • title should not end up with dot

This message is automatically generated by a bot.

@quarkus-bot quarkus-bot bot changed the title Use the correct extension names for 3.8. [3.8] Use the correct extension names for 3.8. Jul 15, 2024
@rolfedh rolfedh requested a review from sberyozkin July 15, 2024 16:00
@rolfedh rolfedh marked this pull request as draft July 15, 2024 16:00
@rolfedh rolfedh changed the title [3.8] Use the correct extension names for 3.8. [3.8] Use the correct extension names for 3.8 Jul 15, 2024
@rolfedh rolfedh marked this pull request as ready for review July 15, 2024 16:28
@rolfedh rolfedh requested a review from gsmet July 15, 2024 16:28
@rolfedh rolfedh closed this Jul 15, 2024
@rolfedh rolfedh force-pushed the revert-to-3.8-extension-names branch from 56f4422 to 83743d5 Compare July 15, 2024 16:32
@quarkus-bot quarkus-bot bot added the triage/invalid This doesn't seem right label Jul 15, 2024
@rolfedh rolfedh reopened this Jul 15, 2024
@quarkus-bot quarkus-bot bot removed the triage/invalid This doesn't seem right label Jul 15, 2024
@quarkus-bot
Copy link

quarkus-bot bot commented Jul 15, 2024

Status for workflow Quarkus Documentation CI

This is the status report for running Quarkus Documentation CI on commit c08f6a6.

✅ The latest workflow run for the pull request has completed successfully.

It should be safe to merge provided you have a look at the other checks in the summary.

@gsmet gsmet merged commit 4507a63 into quarkusio:3.8 Jul 16, 2024
5 of 8 checks passed
Copy link

🙈 The PR is closed and the preview is expired.

@gsmet gsmet added this to the 3.8.6 milestone Aug 14, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
Development

Successfully merging this pull request may close these issues.

3 participants