[XS] Change in osmo-ci[master]: lint/lint_diff.sh: allow skipping with LINT=0 - gerrit-log

15 Mar 2025


      Attention is currently required from: osmith.
pespin has posted comments on this change by osmith. ( https://gerrit.osmocom.org/c/osmo-ci/+/39797?usp=email )
Change subject: lint/lint_diff.sh: allow skipping with LINT=0
......................................................................
Patch Set 1:
(1 comment)
File lint/lint_diff.sh:
https://gerrit.osmocom.org/c/osmo-ci/+/39797/comment/1b9e2d88_be957c8b?usp=e... :
PS1, Line 8: if [ "$LINT" = 0 ]; then
maybe adding some OSMO_ prefix would make this a lot less prone to conflict with something else.
-- 
To view, visit https://gerrit.osmocom.org/c/osmo-ci/+/39797?usp=email
To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email

Gerrit-MessageType: comment
Gerrit-Project: osmo-ci
Gerrit-Branch: master
Gerrit-Change-Id: Ia4563c13d9916a879a1e8afeacad8c541662adaa
Gerrit-Change-Number: 39797
Gerrit-PatchSet: 1
Gerrit-Owner: osmith osmith@sysmocom.de
Gerrit-Reviewer: Jenkins Builder
Gerrit-CC: pespin pespin@sysmocom.de
Gerrit-Attention: osmith osmith@sysmocom.de
Gerrit-Comment-Date: Fri, 14 Mar 2025 15:57:10 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: No