Jerome Berthier authored Aug 19, 2020 and hydrargyrum committed Aug 26, 2020

Useful when using with a pre-push hook, it is useless to run flakes
on the whole code base every time you push.

Example of pre-push hook using this feature:

ref=$(git rev-list --boundary HEAD...master | grep "^-" | cut -c2-)
PYFILES="$(git diff ${ref} --name-only | grep -E "*.py$" | xargs)" $PWD/tools/pyflakes.sh
if [ "$?" -ne "0" ]; then
    echo >&2 "Flakes error"
    exit 1
fi