Any objections to adding a .gitignore with e.g. .ipynb_checkpoints folder in it so we're not tracking each others checkpoints?