Notes on git submodules