I have some new files in a new commit. I used:
git add . --all (I also tried git add --all)
to add the files, then:
git commit
to commit them, then I used:
git push origin master
to push them and everything went fine without error. However, upon logging on to my git server and listing the files with:
git ls-tree --full-tree -r HEAD
, certain important files are missing.
Also doing:
git pull origin master
On another machine seems to run fine without error, but those same files are missing.