Notes on having git forget things