error with .txt extension

needed to delete with .txt extension and push without extension.