You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
Now you can push commits that fail
checkpatch.pl
orsuper-linter
. This should not be allowed. These scripts should be run locally before pushing any commits upstream so we don't have togit 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.The text was updated successfully, but these errors were encountered: