It is strange, I “git add” a directory and then rename a file inside it to another name and pushed it to github. Then when cloned again from github noticed the rename file wasn’t there.
So you need to pay attention when renaming files…
Then I order to avoid mistake I decided to document how I’m doing things:
$ git clone https://github.com/getfilament/NuttX-L21.git ... $ git fetch origin master $ git merge origin/master ... Modify/Git Add if new file/ ... $ git push ... or ... $ git push origin master ...
That is it!