git rm -r --cached file2beDeletedFromServer
git add .
git commit -m "deleted file2beDeletedFromServer"
git push -u origin master