show repo configuration in verbose build
show repo configuration in verbose build

This will just report 'not a git directory' if someone is using
a tarball / zip release, which is fine

tock/libtock-c,tock/libtock-c,tock/libtock-c