https://kirelos.com/how-to-delete-a-file-on-git/