- git_module_property(?Name, ?Property) is nondet
- Property is a property of the named git-component. Defined
properties are:
- version(Version)
- git-describe like version information
- directory(Dir)
- Base directory of the component
- To be done
- - Extend with more detailed version (e.g., remote)