Making notes of common git commands:
From within the file directory (PATH$), remove files which have been deleted:
$(git ls-files –deleted)
delete all removed files, update whatever was modified, add new files
$git add -u
[Neither of these remove from version history though, or shrink the size of the repository].
Update files on git-hub
$git push origin master