Repository navigation

Retry package.xml and other HTTP fetches on transient errors - #160

Merged

traversaro merged 2 commits into

RoboStack:masterfrom

Tobias-Fischer:fix/retry-package-xml

Oct 6, 2026

Merged

Retry package.xml and other HTTP fetches on transient errors#160
traversaro merged 2 commits into
RoboStack:masterfrom
Tobias-Fischer:fix/retry-package-xml

Commits on Oct 6, 2026
- Retry transient failures when fetching package.xml
  
  Tobias-Fischer
  and
  claude
  committed
  cd3c06f
- Make the retry loop's return type explicit for pyrefly
  
  Tobias-Fischer
  and
  claude
  committed
  8369647