I had a file for e.g. a.txt and I pushed it with the project on Github. Then I decided to delete that and commit the changes and push it again so the file will dele
a.txt