Now you can push commits that fail checkpatch.pl or super-linter. This should not be allowed. These scripts should be run locally before pushing any commits upstream so we don't have to git push -f repeatedly to pacify all linters. Furthermore, all new linters (such as the one requested by #182) should be included in these precommit hooks.
gabrielmocanu
commented
1 year ago
Now you can push commits that fail
checkpatch.plorsuper-linter. This should not be allowed. These scripts should be run locally before pushing any commits upstream so we don't have togit push -frepeatedly to pacify all linters. Furthermore, all new linters (such as the one requested by #182) should be included in these precommit hooks.