How to delete file in git
When using Git to manage code, you can delete files by rm. For example, we delete the file1.py file in the current code. After use, the file will be deleted from the file system and the warehouse.
git rm file1.py
git : is a free and open source distributed version control system rm : remove files from working tree and index