commit | 147f37ad82d400837030411b6fbcb9d4262dd0be | [log] [tgz] |
---|---|---|
author | Patrick Williams <patrick@stwcx.xyz> | Sun Dec 04 14:57:10 2022 -0600 |
committer | Patrick Williams <patrick@stwcx.xyz> | Mon Dec 05 15:17:59 2022 -0600 |
tree | ecd0efea0fccbc3aeed0d87a2873ba474f5e8a28 | |
parent | 71b73249a30d589c97e15b387d4a18e8e6b795a9 [diff] |
format-code: add option to disable linter Add an option that allows users to disable a linter. This is useful when the repository currently has code that is failing a linter (like gitlint) but you don't want the script to halt. Signed-off-by: Patrick Williams <patrick@stwcx.xyz> Change-Id: I9bcfba475e1783e3763e45e4191728824b1ab166
Build script for CI jobs in Jenkins.