> add this file to .gitignore so that if someone tries to `git add` it, they'll > get an error ? or do we not expect to do syncs with tzcode in the future ? Sounds reasonable. We certainly expect to sync again, probably with every release they make.