Code

Added retry if git clone failed#13100

Code

Open

JarLob wants to merge 3 commits intogoogle:mastergoogle/oss-fuzz:masterfrom JarLob:clone_retryJarLob/oss-fuzz-fork:clone_retryCopy head branch name to clipboard

+3

Commits

Commits on Feb 24, 2025

• Retry if git clone failed

  JarLob

  authored
  212aac2

  Copy full SHA for 212aac2

• fix format

  JarLob

  authored
  7bff41d

  Copy full SHA for 7bff41d

Commits on Feb 25, 2025

• prefer the default backoff value

  JarLob

  authored
  b0584b4

  Copy full SHA for b0584b4