Usually when I have to commit my daily work I use:
git add * 
git commit -m "my commit message"
git push origin master
This commands are very base. But I've notice that deleted file are not deleted from my remote repo. In fact if I delete a generic file "example.txt" (on my local folder)after push changes on Github the file still remain.
Tecnically with git add * the deleted files should be recognized, or not? 
How can I remove from my remote repo the deleted file? 
Thanks
 
     
     
    