Skip to content

Conversation

thaJeztah
Copy link
Member

- What I did

- How I did it

- How to verify it

- Description for the changelog

- A picture of a cute animal (not mandatory but encouraged)

@codecov-commenter
Copy link

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@thaJeztah thaJeztah mentioned this pull request Oct 1, 2025
1 task
@crazy-max
Copy link
Member

Should we not remove deb packages related to #257?

@thaJeztah
Copy link
Member Author

Yeah, we should look at that; but definitely didn't want to do so in a .patch release. Given that the GitHub repo is currently the only place we publish packages (we don't publish them on download.docker.com currently), I also didn't want to just remove them.

@thaJeztah thaJeztah merged commit 8154b98 into docker:master Oct 1, 2025
12 checks passed
@thaJeztah thaJeztah deleted the bump_deb branch October 1, 2025 14:20
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