Skip to content

Misc improvements#714

Merged
dgageot merged 8 commits intodocker:mainfrom
dgageot:misc
Nov 4, 2025
Merged

Misc improvements#714
dgageot merged 8 commits intodocker:mainfrom
dgageot:misc

Conversation

@dgageot
Copy link
Copy Markdown
Member

@dgageot dgageot commented Nov 4, 2025

  • Improve a few tests
  • Extract MCP server code to its own package
  • Remove duplication

Signed-off-by: David Gageot <david.gageot@docker.com>
Signed-off-by: David Gageot <david.gageot@docker.com>
Signed-off-by: David Gageot <david.gageot@docker.com>
Signed-off-by: David Gageot <david.gageot@docker.com>
Signed-off-by: David Gageot <david.gageot@docker.com>
Signed-off-by: David Gageot <david.gageot@docker.com>
Signed-off-by: David Gageot <david.gageot@docker.com>
Signed-off-by: David Gageot <david.gageot@docker.com>
@dgageot dgageot requested a review from a team as a code owner November 4, 2025 11:23
@dgageot dgageot merged commit 53baee4 into docker:main Nov 4, 2025
5 checks passed
@dgageot dgageot deleted the misc branch February 27, 2026 19:37
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.

2 participants