3 ms·

80mb is nothing, I think it's a no brainer to keep it in git but they should've commited the .dump instead of the .db