guillon
/
repo-mirror
/
30
100%
master: 100%
master: 100%
|
Ran
|
Jobs
1
|
Files
1
|
Run time
2s
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
guillonAdd support for local branch pruning in mirrors When updating mirrors, set fetch.prune=true such that the mirrors update do not fail due to conflicting local branches. Note that while allowing a safe mirror update this does not fix the problem with repo that does not manage corectly local branches conflict in the users's own repo dir. Actually repo >= 1.12.21 support local pruning on sync in the case where a file must be changed to a directory in the references tree. Though this version of repo still does not support pruning for the case where a directory must be changed to a file in the reference tree. Change-Id: Ic8a864fa2
214 of 258 relevant lines covered (82.95%)
0.83 hits per line
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 3 | 30.3 | 1 |
82.95 |
Travis Job 30.3 |
Source Files on build 30
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|