Skip to content

Lazy headers in tools#2907

Merged
dgageot merged 5 commits into
docker:mainfrom
dgageot:lazy-headers-in-tools
May 27, 2026
Merged

Lazy headers in tools#2907
dgageot merged 5 commits into
docker:mainfrom
dgageot:lazy-headers-in-tools

Conversation

@dgageot
Copy link
Copy Markdown
Member

@dgageot dgageot commented May 27, 2026

Builtin tools with custom headers should expand them on each http query, not at toolset creation.
This allows for example DOCKER_TOKEN based headers to use a fresh token each time.

dgageot added 5 commits May 27, 2026 14:24
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 May 27, 2026 13:40
@aheritier aheritier added area/tools For features/issues/fixes related to the usage of built-in and MCP tools kind/fix PR fixes a bug (maps to fix: commit prefix) labels May 27, 2026
@dgageot dgageot merged commit 59d3d45 into docker:main May 27, 2026
8 checks passed
@docker-agent
Copy link
Copy Markdown

PR Review Failed — The review agent encountered an error and could not complete the review. View logs.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area/tools For features/issues/fixes related to the usage of built-in and MCP tools kind/fix PR fixes a bug (maps to fix: commit prefix)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants