a cheaper implementation for GitRepo.empty()

this is issue #25

use only if caching is not a good idea