Git Submodule for Developers#

Whenever you update the submodules, say curobo, you need to first commit the submodule:

cd third_party/curobo
git add {files}
git commit -m "{message}"
git push

Then add the submodule to the main repository and commit:

cd ..
git add third_party/curobo
git commit -m "update curobo: {message}"
git push