Commit 7ddbe2d
committed
ci: add kas-mirror job to pre-fetch KAS_REPO_REF_DIR just with git
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.
Signed-off-by: Jose Quaresma <[email protected]>1 parent a08c269 commit 7ddbe2d
1 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