This is related to PR https://github.com/ARMmbed/mbed-cli/pull/565, but not dependent on it. This is an enhancement that: 1. should help clarify exactly what versions/releases all .lib repos are at, and 2. allows for shallow clones in https://github.com/ARMmbed/mbed-cli/pull/565 to function, since the SHA must be tied to a git ref.