Some Useful Git Commands

For developers:

---

To update the submodule to the latest commit of that submodule:

git submodule update --remote {submodule}

Then,

git add {submodule}  
git commit  
git push

For users:

---

If one uses git pull or git clone in order to get or update the repo, they need to then use:

git submodule update --init

Instead, one should use:

git clone {https://github.com/....} --recursive

to get the repo and:

git pull --recurse-submodules

to update the repo.