[fragmede]

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

[dotancohen]

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