Tips for Git

Remove deleted files from repository

In order to remove previously deleted files from the repository you can use
git rm $(git ls-files --deleted)