Add refresh() to GitRepository.