Precommit filter is a really coooooooooool optimization!

-Rui

On Wed, Jun 13, 2018 at 5:21 PM Andrew Pilloud <[EMAIL PROTECTED]> wrote: