Attention is currently required from: pespin. osmith has posted comments on this change. ( https://gerrit.osmocom.org/c/osmo-ci/+/28491 )

Change subject: coverity/prepare_source: clean existing git dirs ......................................................................

Patch Set 1:

(1 comment)

File coverity/prepare_source_Osmocom.sh:

https://gerrit.osmocom.org/c/osmo-ci/+/28491/comment/63b475bb_3fe1783b PS1, Line 41: git -C "$proj" clean -ffxd

this should also pull latest master, since that's what git clone is doing below.

I think there are two use cases: 1. jenkins, which removes the source directories and does a fresh clone 2. development of these scripts where we want fast iterations. running git fetch/pull on each repo just slows it down.