Repository navigation

Send a User-Agent from web_fetch and http_request - #52

Merged

senamakel merged 9 commits into

tinyhumansai:mainfrom

sanil-23:fix/network-tools-user-agent

Oct 8, 2026

Commits on Oct 7, 2026
- Send a User-Agent from web_fetch and http_request
  
  sanil-23
  and
  claude
  committed
  00bace0
Commits on Oct 8, 2026
- test(network): assert outgoing requests carry a user agent
  
  senamakel
  and
  medullabot
  committed
  eb7e9be
- refactor(network): narrow user agent visibility and tidy test
  
  senamakel
  and
  medullabot
  committed
  f0e779f
- test(network): assert exact user agent header value
  
  senamakel
  and
  medullabot
  committed
  55ce8e3
- test(web_fetch): reformat user agent assertion
  
  senamakel
  and
  medullabot
  committed
  0ade83e
- test(network): read full request headers in user agent test
  
  senamakel
  and
  medullabot
  committed
  61bda35
- test(network): fail fast when peer closes before headers
  
  senamakel
  and
  medullabot
  committed
  7e728b2
- test(web_fetch): simplify early-close assertion
  
  senamakel
  and
  medullabot
  committed
  2f9c968
- test(network): reformat assertion in web fetch test
  
  senamakel
  and
  medullabot
  committed
  a25500c