Attention is currently required from: osmith. pespin 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/01ca120c_bcc2337e PS1, Line 41: git -C "$proj" clean -ffxd

I think there are two use cases: […]

I don't really like the idea of doing 2 different things based on some external "use case". If you want fast iterations at a specific time, then better disable it manually for the time you do it. I don't think it makes sense to have one path updating the content while the other doesn't, this will end up in strange behaviors which are difficult to follow.

If other people disagree with me, then go on, +2 and merge.