The vdm submodule directories would probably have to be entered in the gitignore...

goku12 5 months ago | parent | context | favorite | on: Show HN: Vdm, a sane alternative to e.g. Git submo...

The vdm submodule directories would probably have to be entered in the gitignore anyway. You wouldn't want to commit the submodule source files either. Won't the .git directory get excluded that way?