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.

Sign up for GitHub

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

Jump to bottom

add module retractions #21665

Merged
merged 1 commit into from
Aug 26, 2024
Merged

add module retractions #21665

merged 1 commit into from
Aug 26, 2024

Conversation

jmurret
Copy link
Member

@jmurret jmurret commented Aug 26, 2024

Description

Adding the module retractions that were added this release period to main.

@jmurret jmurret added pr/no-changelog PR does not need a corresponding .changelog entry pr/no-backport labels Aug 26, 2024
@jmurret jmurret requested a review from zalimeni August 26, 2024 17:20
@github-actions github-actions bot added the theme/api Relating to the HTTP API interface label Aug 26, 2024
zalimeni
zalimeni approved these changes Aug 26, 2024
View reviewed changes
Copy link
Member

@zalimeni zalimeni left a comment

Choose a reason for hiding this comment

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

Thanks for making sure these don't get lost in 1.20 👍🏻

@jmurret jmurret enabled auto-merge (squash) August 26, 2024 17:24
@jmurret jmurret merged commit 9c02eff into main Aug 26, 2024
111 checks passed
@jmurret jmurret deleted the jm/retract branch August 26, 2024 17:49
@jmurret jmurret restored the jm/retract branch August 26, 2024 19:08
philrenaud pushed a commit that referenced this pull request Sep 12, 2024
@jmurret @philrenaud
add module retractions (#21665)
7016cd2
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@zalimeni zalimeni zalimeni approved these changes

Assignees
No one assigned
Labels
pr/no-backport pr/no-changelog PR does not need a corresponding .changelog entry theme/api Relating to the HTTP API interface
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@jmurret @zalimeni