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. -- To view, visit https://gerrit.osmocom.org/c/osmo-ci/+/28491 To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings Gerrit-Project: osmo-ci Gerrit-Branch: master Gerrit-Change-Id: Id6d3cdabb776435df36c0145d93e514693062fca Gerrit-Change-Number: 28491 Gerrit-PatchSet: 1 Gerrit-Owner: osmith <osmith@sysmocom.de> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: fixeria <vyanitskiy@sysmocom.de> Gerrit-Reviewer: pespin <pespin@sysmocom.de> Gerrit-Attention: osmith <osmith@sysmocom.de> Gerrit-Comment-Date: Thu, 30 Jun 2022 12:59:16 +0000 Gerrit-HasComments: Yes Gerrit-Has-Labels: No Comment-In-Reply-To: osmith <osmith@sysmocom.de> Comment-In-Reply-To: pespin <pespin@sysmocom.de> Gerrit-MessageType: comment