Hacker News new | ask | show | jobs
by dotancohen 697 days ago
Git would then version that .vdm/ directory - the repo would grow exponentially.
2 comments
goku12 696 days ago
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?
link
fragmede 697 days ago
you'd want vdm to be a superset of git commands and then alias git=vdm, or something to avoid that
link
dotancohen 696 days ago
No, I mean that the larger Git repo, of the main project, would version the .vdm directory.
link