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

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=… : 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(a)sysmocom.de> Gerrit-Reviewer: Jenkins Builder Gerrit-CC: pespin <pespin(a)sysmocom.de> Gerrit-Attention: osmith <osmith(a)sysmocom.de> Gerrit-Comment-Date: Fri, 14 Mar 2025 15:57:10 +0000 Gerrit-HasComments: Yes Gerrit-Has-Labels: No