Repository navigation

Retry git fetches, fall back to the cached clone - #91

Merged

adrpo merged 1 commit into

OpenModelica:masterfrom

adrpo:retry-git-fetch

Oct 29, 2026

Merged

Retry git fetches, fall back to the cached clone#91
adrpo merged 1 commit into
OpenModelica:masterfrom
adrpo:retry-git-fetch

Commits on Oct 25, 2026
- Retry git fetches, fall back to the cached clone
  
  adrpo
  and
  claude
  committed
  a4c138e