diff --git a/config b/config index 8699389..578ccca 100644 --- a/config +++ b/config @@ -80,6 +80,10 @@ cleanuplocal = !git remote prune origin && git gc && git clean -df unstage = reset HEAD -- + + # Check if any file in repo has whitespace errors + # As described in http://peter.eisentraut.org/blog/2014/11/04/checking-whitespace-with-git/ + check-whitespace = !git diff-tree --check $(git hash-object -t tree /dev/null) HEAD [apply] whitespace = nowarn [core]