unix timestamp made available in GitRepo.log()