https://sopriza.com/how-to-make-git-forget-a-file-that-was-tracked/