Avoid accidentally pushing with tidy errors present

.gitconfig

[alias]
    servo-push = "!f() { \
        ./mach test-tidy --faster; \
        if [[ $? != 0 ]]; then \
            echo 'tidy failed: please fix'; \
            exit 1; \
        fi; \
        git push $@; \
    }; f"