undefined | Better HN

0 pointsdotancohen1y ago0 comments

Git would then version that .vdm/ directory - the repo would grow exponentially.

0 comments

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?

fragmede1y ago

you'd want vdm to be a superset of git commands and then alias git=vdm, or something to avoid that

dotancohenOP1y ago

No, I mean that the larger Git repo, of the main project, would version the .vdm directory.

j / k navigate · click thread line to collapse

0 comments

goku121y 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?

fragmede1y ago

you'd want vdm to be a superset of git commands and then alias git=vdm, or something to avoid that

dotancohenOP1y ago

No, I mean that the larger Git repo, of the main project, would version the .vdm directory.

j / k navigate · click thread line to collapse