https://obscureproblemsandgotchas.com/development/git/git-stop-tracking-files/