Go ahead and write garbage into your index.html file. Then sure, why not, delete that file entirely. Check around. Yep, it’s gone. But, wait! Git to the rescue. Use the git checkout — . to get your files back to the way they were when you made your commit.