get a repo's HEAD git hash