by @kodeazy
git hub How to delete file in local and push to remote?
-
To delete file in local and push the changes to remote execute the below command.
git rm --cached -r filename
- Above command will remove file from local repository.
- once removed push the file to remote directory.