3 ms·

This is what I was expecting. Store the dump in git but then have the binary in the working directory.