Tecadmin shows you how to delete a file on Git.
How to Delete a File on Git
During the development process bunch of files will be added to your repository. On the other hand, a bunch of them will be removed. Either because they are no longer needed or because they became surplus to the requirements.
