And now I've learned how to delete files using git.