Commit af027d2
authored
ci: pre-fetch KAS_REPO_REF_DIR with just git (#819)
We initially used KAS_REPO_REF_DIR to keep a local copy of the repos
mirrors,
to avoid fetching projects from scratch in CI. However, it is
implemented such
that the mirrors, once created by kas the first time, are never updated
by kas,
they are 'read only'.
Sometimes the fetch from upstream fails and the KAS ended up falling
back
to the old content of the mirrors, silently. To fix this we will
pre-fetch
all ref front the origin the repos in KAS_REPO_REF_DIR.
We will for each repo retry 3 times sleeping 10 seconds between
attempts.
Fixes #7121 file changed
+12
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
13 | 13 | | |
14 | 14 | | |
15 | 15 | | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
16 | 27 | | |
| 28 | + | |
17 | 29 | | |
18 | 30 | | |
19 | 31 | | |
| |||
0 commit comments