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(a)sysmocom.de>
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: fixeria <vyanitskiy(a)sysmocom.de>
Gerrit-Reviewer: pespin <pespin(a)sysmocom.de>
Gerrit-Attention: osmith <osmith(a)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(a)sysmocom.de>
Comment-In-Reply-To: pespin <pespin(a)sysmocom.de>
Gerrit-MessageType: comment